Mathias Ricken - 2006-04-24

Logged In: YES
user_id=1075744

Blank lines should be as wide as the widest non-blank line
on top or on the bottom. Example:

------return null;
----}
#####
#####
--}

I used - to denote a normal whitespace and # to denote an
empty line that nonetheless got highlighted.

Unfortunately, with the standard Swing highlighter, this
might be a bit tricky. I also introduced a "frame" highlight
that doesn't highlight the entire text but just puts a frame
around it. Right now, it puts a frame around every line:

+-----------+
|class Foo {|
+-----------+------------------------------+
| public static void main(String[] args) {|
+--------------------+---------------------+
| System.exit(0); |
+--------------------+

Ideally, it should just be the outline of the entire block:

+-----------+
|class Foo {|
| +------------------------------+
| public static void main(String[] args) {|
| +---------------------+
| System.exit(0); |
+--------------------+

These changes could probably be done together. Start at the
class ReverseHighlighter.