Changing Hide final EOL should take effect
immediately after propertychange, not only after
reloading a buffer, but not with reloading the Buffer
from disk, because the buffer may be changed and the
changes should not get lost.
Sorry if this is a dupe, but I have many bugs to post
and am too lazy to check them all for dupes
currently. :-)
OS: Windows XP
Java Version: Sun Java 1.5.0_06-b05
jEdit Version: SVN Revision 6684
Submitted | vampire0 - 2006-08-17 09:06:05 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | core |
Status | open | Group | None |
Resolution | None |