I have Elastic Tabstops enabled as follows (jEdit setting in the beginning of some files). I also have two or more files open. If I use something like 'git stash' and 'git stash pop' to cause external file changes, then jEdit freezes after trying to Reload the file. All I get is an editor window with a single character of text on every line. Repainting is frozen, Switching tabs etc are all unresponsive. I have to kill jEdit and restart for jEdit to work again. No error message pops up though.
jEdit runtime options: :elasticTabstops=true:/
If I disable Elastic Tabstop support by making the above value =false then do the external file changes, then reload works perfectly. I can duplicate this issue at will. The type of reload setting (prompt, auto reload with prompt, auto reload without prompt) makes no difference. It seems to be down to the fact when Elastic Tabstops is enabled.
NOTE: I have Elastic Tabstops disable in the Global Options dialog. I'm using jEdit 5.1.0 under 64-bit Windows 7 (with latest updates installed). I have 64-bit Oracle Java 1.7.0_45 installed.
- Common Controls
- Editor Scheme
- Info Viewer
- Spell Check