Menu

Commit [r4581]  Maximize  Restore  History

This revions attempt to fix a bug in MainFrame where deleted "find

all" tabs are never deleted from _findResults. It also slightly
cleans up synchronization and renames some fields to eliminate
incidental duplication of important field names across classes.

The following files were modified:

M src/edu/rice/cs/drjava/model/BrowserHistoryManager.java
M src/edu/rice/cs/drjava/model/repl/InteractionsModelTest.java
M src/edu/rice/cs/drjava/model/repl/InteractionsModel.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/model/SingleDisplayModel.java
M src/edu/rice/cs/drjava/model/FileGroupingState.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/TabbedPanel.java
M src/edu/rice/cs/drjava/ui/MainFrameTest.java
M src/edu/rice/cs/drjava/ui/CommonCloseButton.java
M src/edu/rice/cs/drjava/ui/ProjectPropertiesFrame.java

rcartwright 2008-07-15

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/FileGroupingState.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/SingleDisplayModel.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/repl/InteractionsModel.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/repl/InteractionsModelTest.java
changed /trunk/drjava/src/edu/rice/cs/drjava/project/ProjectProfile.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/CommonCloseButton.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/MainFrameTest.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/ProjectPropertiesFrame.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/FileGroupingState.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/SingleDisplayModel.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/repl/InteractionsModel.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/repl/InteractionsModelTest.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/project/ProjectProfile.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/CommonCloseButton.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/MainFrameTest.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/ProjectPropertiesFrame.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