Editor switching & shortcuts misbehave
This is very bad and annoying. Happens on Spoofax 184.108.40.206-s40799.
After a while of editing Stratego and Java, Eclipse gets confused as to which editor i have focus on when pasting.
- Say two files are open: J in Java and S in Stratego.
- I edit S and save
- I switch to J and copy a piece of code.
- Try to paste the clipboard into J.
- The text gets pasted into S where the cursor previously was before switching to J.
My hunch is that somewhere we forget to set the current open editor if the target editor is not a Spoofax editor. We partially do it because typing works, but Eclipse’s command framework still thinks the Spoofax editor is in focus.
A (probably) related issue encountered by both me and Gabriel is not being able to save a Java file if a Spoofax file is open. In that case the File > Save menu is disabled.Submitted by Vlad Vergu on 7 November 2013 at 15:53
Oskar, any clue what might be causing this?
I’ve also noticed that the Eclipse titlebar (text at top saying which file is open) is out of sync if a combination of Spoofax and Java editors is open.
This does not happen on Eclipse 4.3. Probably this was caused by Juno on Mavericks. Closing issue as invalid (and hoping it never comes back).
Log in to post comments