#2640 Properties edit mode is not correct

normal bug
Dale Anson
Björn Kautler

There are some errors in the properties edit mode.

e. g.

'!' as first non-whitespace (where WhiteSpace means
exactly ' ', '\t', '\f' or line terminators for
properties, this is not taken into account correctly
too if I remember correctly) is a comment-line too.


The key contains all of the characters in the line
starting with the first non-white space character
(Whitespace defined like above) and up to, but not
including, the first unescaped '=', ':', or white
space character (Whitespace defined like above) other
than a line terminator. All of these key termination
characters may be included in the key by escaping
them with a preceding backslash character; for
example, \:\= would be the two-character key ":=".
Line terminator characters can be included using \r
and \n escape sequences. Any white space (Whitespace
defined like above) after the key is skipped; if the
first non-white space character (Whitespace defined
like above) after the key is '=' or ':', then it is
ignored and any white space characters (Whitespace
defined like above) after it are also skipped. All
remaining characters on the line become part of the
associated element string; if there are no remaining
characters, the element is the empty string "". Once
the raw character sequences constituting the key and
element are identified, escape processing is
performed as described above.
This is not done correctly too.

These were only two examples what is wrong in the
More information about the properties file syntax can
be found at

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 (4.3pre7)


  • Alan Ezust
    Alan Ezust

    • assigned_to: nobody --> daleanson