[ jEdit-devel ] [ jedit-Bugs-1542070 ] Properties edit mode is not correct

[SourceForge.net <no...@so...>]

Bugs item #1542070, was opened at 2006-08-17 17:50
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1542070&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: text area and syntax packages
Group: normal bug
Status: Open
Resolution: None
Priority: 5
Submitted By: Björn Kautler (vampire0)
Assigned to: Nobody/Anonymous (nobody)
Summary: Properties edit mode is not correct

Initial Comment:
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.

or

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 
editmode.
More information about the properties file syntax can 
be found at 
http://java.sun.com/j2se/1.5.0/docs/api/java/util/Prop
erties.html#load(java.io.InputStream)

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)


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1542070&group_id=588