DrJava Legacy SVN Repository

dealt with caret movements left and right

code folding partially works

This commit fixes bug
[ 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

Fixes bug [ 1475743 ] Color of Breakpoints and Bookmarks Not Updated

The highlight painters in the MainFrame hashtables are
now being refreshed, so the color changes correctly.

I also restored the "(disabled)" tag for disabled
breakpoints in the BreakpointsPanel.

I added a highlighter that just underlines and use that
now for bookmarks isntead of the one that draws a box
around it.

M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/BreakpointsPanel.java
M src/edu/rice/cs/drjava/ui/RegionsTreePanel.java
M src/edu/rice/cs/drjava/ui/DefinitionsPane.java
M src/edu/rice/cs/drjava/ui/ReverseHighlighter.java

Breakpoints are enabled/disabled correctly now

Added more behavior for folding of text

- Breakpoint line numbers in Breakpoints panel now update
with text changes.
- Breakpoints panel displays content of breakpoint line, tooltip
displays 5 lines below.
- Generalized Breakpoints to DocumentRegions and abstracted
out the tree view into a RegionsTreePanel.
- Used DocumentRegions and RegionsTreePanel for bookmarks.
- Moved exceptions out of debugger into a RegionManager. Both
breakpoints and bookmarks use it. These RegionManagers are
stored in the (Abstract)GlobalModel.
- Each OpenDefinitionsDocument has a SubsetRegionManager
that filters the regions from the GlobalModel RegionManagers
so that only regions in this particular document appear.
Data is NOT replicated, it is now ONLY stored in the
GlobalModel's RegionManagers, nowhere else.
- Ctrl-Shift-M opens Bookmarks panel (similar to Breakpoints
panel with Ctrl-Shift-B).
- Ctrl-M adds a one-line bookmark if nothing is selected, or
bookmarks the entire current selection if something is
selected.
- Bookmarks cannot overlap. Pressing Ctrl-M while overlapping
an existing bookmark will remove the existing one.
- Bookmarks are saved to and restored from the project file.
- Fixed small bug in auto-completion (had "Fragment" in
dropdown menu, but was still in "Prefix" mode).
- Removed a debug exception I had forgotten ("booh" :-)
- Highlights can be hollow boxes now.
- Highlighting also works better with selection now (selection
mostly on top.

Problems:
- Still a few problems with new highlights, e.g. when two
painters have exactly the same start and end offsets, one of
them becomes invisible, even if it's filled box + empty
box. But this is not worse than what we had before.
- The tooltips for breakpoint and bookmark lines in the
panes sometimes go partly off the screen

M src/edu/rice/cs/drjava/model/debug/DebugTestCase.java
M src/edu/rice/cs/drjava/model/debug/NoDebuggerAvailable.java
M src/edu/rice/cs/drjava/model/debug/JPDADebugger.java
M src/edu/rice/cs/drjava/model/debug/Debugger.java
M src/edu/rice/cs/drjava/model/debug/DebugTest.java
M src/edu/rice/cs/drjava/model/debug/DebugEventNotifier.java
M src/edu/rice/cs/drjava/model/debug/DebugContextTest.java
M src/edu/rice/cs/drjava/model/debug/DebugListener.java
M src/edu/rice/cs/drjava/model/debug/Breakpoint.java
M src/edu/rice/cs/drjava/model/GlobalModel.java
M src/edu/rice/cs/drjava/model/DefaultGlobalModel.java
M src/edu/rice/cs/drjava/model/GlobalEventNotifier.java
AM src/edu/rice/cs/drjava/model/RegionManager.java
M src/edu/rice/cs/drjava/model/repl/JavaDebugInterpreterTest.java
AM src/edu/rice/cs/drjava/model/DocumentRegion.java
M src/edu/rice/cs/drjava/model/DummyOpenDefDoc.java
AM src/edu/rice/cs/drjava/model/RegionManagerListener.java
M src/edu/rice/cs/drjava/model/DummyGlobalModel.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/model/OpenDefinitionsDocument.java
M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/project/ProjectFileIR.java
M src/edu/rice/cs/drjava/project/ProjectFileParser.java
M src/edu/rice/cs/drjava/project/ProjectProfile.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/BreakpointsPanel.java
M src/edu/rice/cs/drjava/ui/InteractionsPane.java
AM src/edu/rice/cs/drjava/ui/RegionsTreePanel.java
M src/edu/rice/cs/drjava/ui/DefinitionsPane.java
M src/edu/rice/cs/drjava/ui/DefinitionsPaneTest.java
M src/edu/rice/cs/drjava/ui/DebugPanel.java
AM src/edu/rice/cs/drjava/ui/BookmarksPanel.java
M src/edu/rice/cs/drjava/ui/ErrorPanel.java
M src/edu/rice/cs/drjava/ui/predictive/PredictiveInputFrame.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
M src/edu/rice/cs/drjava/ui/AbstractDJPane.java
AM src/edu/rice/cs/drjava/ui/ReverseHighlighter.java
M src/edu/rice/cs/util/swing/HighlightManagerTest.java
M src/edu/rice/cs/util/StringOps.java

Changed the openFile, openFiles, and openFolder methods to not use the AlreadyOpenException. Rather, it uses the new _notifier.handlerAlreadyOpenDocument method. This was done as an in-between step for making the openFiles call asynchronous.

Created branch dynamicjava-generics