Menu ▾ ▴

Commit [r5103]  Maximize  Restore  History

This revision clears the console pane when all files are closed.

The followeing files were modified:

M src/edu/rice/cs/drjava/model/definitions/ColoringGlyphPainter.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/util/swing/Utilities.java

rcartwright 2009-10-02

Browse code at this revision

Parent: [r5102]

Child: [r5104]

changed /trunk/drjava/src/edu/rice/cs/drjava/model/definitions/ColoringGlyphPainter.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
changed /trunk/drjava/src/edu/rice/cs/util/swing/Utilities.java
/trunk/drjava/src/edu/rice/cs/drjava/model/definitions/ColoringGlyphPainter.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/util/swing/Utilities.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB