Menu

Commit [r4117]  Maximize  Restore  History

This revision further cleans up the coding of synchronization in the

InteractionsController. It also eliminates the CodeStatus.DEVELOPMENT
references in the code which evidently only enabled anti-aliasing in
development builds. The following classes were modified:

M src/edu/rice/cs/drjava/model/repl/InteractionsModel.java
M src/edu/rice/cs/drjava/model/repl/DefaultInteractionsModel.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/ui/HelpFrame.java
M src/edu/rice/cs/drjava/ui/InteractionsPane.java
M src/edu/rice/cs/drjava/ui/DefinitionsPane.java
M src/edu/rice/cs/drjava/ui/ConsoleController.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
M src/edu/rice/cs/drjava/ui/RecentDocFrame.java
M src/edu/rice/cs/drjava/ui/InteractionsController.java
M src/edu/rice/cs/util/FileOps.java
M src/edu/rice/cs/util/text/ConsoleDocument.java
M src/edu/rice/cs/util/text/SwingDocument.java

rcartwright 2007-02-06

changed /trunk/drjava/src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/repl/DefaultInteractionsModel.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/repl/InteractionsModel.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/ConsoleController.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/DefinitionsPane.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/HelpFrame.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/InteractionsController.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/InteractionsPane.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/RecentDocFrame.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
changed /trunk/drjava/src/edu/rice/cs/util/FileOps.java
changed /trunk/drjava/src/edu/rice/cs/util/text/ConsoleDocument.java
changed /trunk/drjava/src/edu/rice/cs/util/text/SwingDocument.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/repl/DefaultInteractionsModel.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/ui/ConsoleController.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/DefinitionsPane.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/HelpFrame.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/InteractionsController.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/InteractionsPane.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/RecentDocFrame.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/config/ConfigFrame.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/util/FileOps.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/util/text/ConsoleDocument.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/util/text/SwingDocument.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB