after upgrading to Eclipse Juno, the Edit Redo/Undo feature is not working properly. After starting Eclipse it is working for the first time. But when switching to another file (XML file) it is unusable anymore. Is this a known problem? For Java-Files its seems to be working.
I'm using Eclipse Juno Service Release 1 (Build id: 20120920-0800) the Eclipse Java EE IDE for Web Developers 64 bit on Ubuntu 12.04 LTS.