[ jEdit-devel ] [ jedit-Bugs-747769 ] indent next line doesn't ignore "{"

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

Bugs item #747769, was opened at 2003-06-02 16:33
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=747769&group_id=588

Category: text area and syntax packages
Group: minor bug
Status: Open
Resolution: None
Priority: 3
Submitted By: Brad Mace (bemace)
Assigned to: Nobody/Anonymous (nobody)
Summary: indent next line doesn't ignore "{"

Initial Comment:
4.2pre2

a line like
<pre>
if (line.matches(".*\+\{{3}.*")) {
</pre>
will cause the next line to be indented too far.  i.e.:
<pre>
if (line.matches(".*\+\{{3}.*")) {
        System.out.println("+:"+line);
    dm.expandFold(l,false);
}
</pre>

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

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