Is it just me or is Undo (Ctrl+Z (or Ctrl-Y depending on keyboard) and also menu) not working in .bnd files source view?
In the menu it is greyed out.
Environment
Seems Eclipse restart fixed it. Just really noticed it when it was not working.
Maybe it got lost somewhere while having it open. I will keep an eye on it when it happens again.
See https://github.com/bndtools/bnd/issues/4433. We sometimes see this but do not have a handle on the real problem. 
Thanks, should have checked github in the first place.
The GitHub issue for this gives a detailed account on how to reproduce the problem. Basically, the last-opened bnd or bndrun editor steals the “undo focus” and doesn’t let it go no matter which editor has the edit focus.
Not sure if it is helpful, but I found this pretty old Eclipse bug 162964 – [Undo] - Resource undo only works when Navigator is active which also seems to be related to Undo. Maybe some pointers for the ones who are deeper in the Eclipse code.
An update: thanks to a tip from Gabriël Konat, this issue has now been fixed in the master branch and is available to users of the snapshot version of Bndtools from now. For those who aren’t keen on using the bleeding edge, it should be available in the next release of Bndtools (which at this stage looks like it will be a 6.1, fairly soon).
Great, thanks for the info.
