Menu ▾ ▴

Commit [r4849]  Maximize  Restore  History

Fixes a bug introduced in r4447 that prevented the configuration

of any colors -- the changes to the colors in the preferences did
not reflect outside the preferences dialog, nor were they saved.
Also added a foreground and background color option for the line
numbers. Made the background color for the line numbers a very
light gray.

mgricken 2009-03-26

Browse code at this revision

Parent: [r4848]

Child: [r4850]

changed /trunk/drjava/src/edu/rice/cs/drjava/config/OptionConstants.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/LineEnumRule.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/config/ColorOptionComponent.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
/trunk/drjava/src/edu/rice/cs/drjava/config/OptionConstants.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/LineEnumRule.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/config/ColorOptionComponent.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...
MongoDB Logo MongoDB