DrJava Legacy SVN Repository

A lightweight programming environment for Java

Brought to you by: camus546, csreis, dlsmith, eallen, and 6 others

Commit [r5224] Maximize Restore History

Components are now properly disabled when a value is defined

in the options.properties file.

Still to do: It's not good that the values defined in the
options.properties file are also copied over into the .drjava
file.

M src/edu/rice/cs/drjava/config/OptionConstants.java
A + src/edu/rice/cs/drjava/config/options.properties
M src/edu/rice/cs/drjava/config/OptionParser.java
D src/edu/rice/cs/drjava/config/enabled.properties
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/config/ToolbarOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/VectorOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/OptionComponent.java

Authored by: mgricken 2010-04-21

Browse code at this revision

Parent: [r5223]

Child: [r5225]

changed	/branches/drjava-custombundle/src/edu/rice/cs/drjava/config/OptionConstants.java
changed	/branches/drjava-custombundle/src/edu/rice/cs/drjava/config/OptionParser.java
renamed	/branches/drjava-custombundle/src/edu/rice/cs/drjava/config/enabled.properties -> /branches/drjava-custombundle/src/edu/rice/cs/drjava/config/options.properties
changed	/branches/drjava-custombundle/src/edu/rice/cs/drjava/ui/MainFrame.java
changed	/branches/drjava-custombundle/src/edu/rice/cs/drjava/ui/config/OptionComponent.java
changed	/branches/drjava-custombundle/src/edu/rice/cs/drjava/ui/config/ToolbarOptionComponent.java
changed	/branches/drjava-custombundle/src/edu/rice/cs/drjava/ui/config/VectorOptionComponent.java

/branches/drjava-custombundle/src/edu/rice/cs/drjava/config/OptionConstants.java Diff Switch to side-by-side view

/branches/drjava-custombundle/src/edu/rice/cs/drjava/config/OptionParser.java Diff Switch to side-by-side view

/branches/drjava-custombundle/src/edu/rice/cs/drjava/config/enabled.properties to /branches/drjava-custombundle/src/edu/rice/cs/drjava/config/options.properties

File was renamed.

/branches/drjava-custombundle/src/edu/rice/cs/drjava/ui/MainFrame.java Diff Switch to side-by-side view

/branches/drjava-custombundle/src/edu/rice/cs/drjava/ui/config/OptionComponent.java Diff Switch to side-by-side view

/branches/drjava-custombundle/src/edu/rice/cs/drjava/ui/config/ToolbarOptionComponent.java Diff Switch to side-by-side view

/branches/drjava-custombundle/src/edu/rice/cs/drjava/ui/config/VectorOptionComponent.java Diff Switch to side-by-side view