Menu

Commit [r4628]  Maximize  Restore  History

This commit re-instroduces the red Find All results highlights.

They seem to work with the Plastic LAFs this time.

M src/edu/rice/cs/drjava/ui/FindResultsPanel.java
M src/edu/rice/cs/drjava/ui/FindReplacePanel.java

mgricken 2008-08-01

changed /trunk/drjava/src/edu/rice/cs/drjava/ui/FindReplacePanel.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/FindResultsPanel.java
/trunk/drjava/src/edu/rice/cs/drjava/ui/FindReplacePanel.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...
MongoDB Logo MongoDB