DrJava Legacy SVN Repository

[ 1476650 ] Go To Breakpoint/Bookmark in Yet Unseen Document

"Go To" for bookmarks jumps to the beginning character of
a bookmark, not to the beginning of the line.

It also allows multiple highlights in the same region, i.e.
an underline or frame highlight is now visible on top of a
solid highlight.

M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/RegionsTreePanel.java
M src/edu/rice/cs/drjava/ui/ReverseHighlighter.java
M src/edu/rice/cs/util/swing/HighlightManager.java