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.
Installed plugins:
- BufferTabs
- Common Controls
- CssEditor
- EclipseIcons
- Editor Scheme
- ErrorList
- Info Viewer
- QuickNotepad
- SideKick
- Spell Check
- TaskList
- TextTools
- WhiteSpace
- XercesPlugin
- XML
- XSLT
Submitted | graemeg - 2013-12-16 14:53:14.686000 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | elastic tabstops |
Status | open | Group | minor bug |
Resolution | None |
2013-12-16 14:57:24.703000 graemeg |
Sorry, Markdown formatting screwed up my post. The file contents is a multi-line comment
in a *.sql script file. Something like this (but without the space between the forward
slash and asterics:
|
---|---|
2013-12-16 15:03:48.724000 graemeg |
I noticed that jEdit showed "10 error(s)" in the status bar. It relates to Elastic
Tabstops, backup up my testing that it is Elastic Tabstops causing the reload error.
|