DrJava Legacy SVN Repository

position that moves with the document. When a breakpoint is hit,
the location in the source code matches that of the breakpoint,
even if the breakpoint is hit. Note: We do not translate the
current line numbers back to the line numbers that the debugger
saw if the document has been modified. In that case, the user
needs to recompile (a warning is displayed).
Fixed a problem with displaying the bookmarks and breakpoints
panels if bookmarks or breakpoints were toggled on and off.
Removing the light blue highlight again if a Find All panel
is closed.