Menu

Commit [r4639]  Maximize  Restore  History

This revision simplifies and rationalizes the treatment of regions in

tabbed panels by forcing regions to be disjoint and ordering them
using the pair [end, start]. In addition, the bookmark tab
automatically opens and closes when it is populated and emptied,
respectively. The display of matching text after editing stills needs
to be improved and the display of bookmarks should include enclosing
text just as it does in FindResultsPanels.

The following files were modified:

M src/edu/rice/cs/drjava/model/BrowserHistoryManager.java
M src/edu/rice/cs/drjava/model/debug/jpda/JPDABreakpoint.java
M src/edu/rice/cs/drjava/model/DocumentRegionTest.java
M src/edu/rice/cs/drjava/model/RegionManager.java
M src/edu/rice/cs/drjava/model/ConcreteRegionManager.java
M src/edu/rice/cs/drjava/model/DocumentRegion.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/model/DefaultLightWeightParsingControl.java
M src/edu/rice/cs/drjava/model/GlobalModelOtherTest.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/TabbedPanel.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/RegionsListPanel.java
M src/edu/rice/cs/drjava/ui/FindResultsPanel.java
M src/edu/rice/cs/drjava/ui/BookmarksPanel.java

rcartwright 2008-08-19

changed /trunk/drjava/src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/BrowserHistoryManager.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/ConcreteRegionManager.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/DefaultLightWeightParsingControl.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/DocumentRegion.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/DocumentRegionTest.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/GlobalModelOtherTest.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/RegionManager.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/debug/jpda/JPDABreakpoint.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/BookmarksPanel.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/BreakpointsPanel.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/FindResultsPanel.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/RegionsListPanel.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/RegionsTreePanel.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/TabbedPanel.java
/trunk/drjava/src/edu/rice/cs/drjava/model/AbstractGlobalModel.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/BrowserHistoryManager.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/ConcreteRegionManager.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/DefaultLightWeightParsingControl.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/DocumentRegion.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/DocumentRegionTest.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/GlobalModelOtherTest.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/RegionManager.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/debug/jpda/JPDABreakpoint.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/BookmarksPanel.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/BreakpointsPanel.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/FindResultsPanel.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/MainFrame.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/RegionsListPanel.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/RegionsTreePanel.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/TabbedPanel.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB