DrJava Legacy SVN Repository

A lightweight programming environment for Java

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

Commit [r5228] Maximize Restore History

A ResourceBundleConfiguration is a configuration based on immutable

options defined in a resource bundle (property file). If an option
isn't defined in the resource bundle, the configuration delegates
to another (file-based .drjava) configuration.

This avoids the problem of also saving the immutable options into
the .drjava file.

Authored by: mgricken 2010-04-22

Browse code at this revision

Parent: [r5227]

Child: [r5229]

changed	/branches/drjava-custombundle/src/edu/rice/cs/drjava/DrJava.java
changed	/branches/drjava-custombundle/src/edu/rice/cs/drjava/config/Configuration.java
changed	/branches/drjava-custombundle/src/edu/rice/cs/drjava/config/DefaultOptionMap.java
changed	/branches/drjava-custombundle/src/edu/rice/cs/drjava/config/FileConfiguration.java
changed	/branches/drjava-custombundle/src/edu/rice/cs/drjava/config/Option.java
changed	/branches/drjava-custombundle/src/edu/rice/cs/drjava/config/OptionMap.java
changed	/branches/drjava-custombundle/src/edu/rice/cs/drjava/config/OptionParser.java
added	/branches/drjava-custombundle/src/edu/rice/cs/drjava/config/ResourceBundleConfiguration.java
changed	/branches/drjava-custombundle/src/edu/rice/cs/drjava/config/SavableConfiguration.java
changed	/branches/drjava-custombundle/src/edu/rice/cs/drjava/ui/AboutDialog.java
changed	/branches/drjava-custombundle/src/edu/rice/cs/drjava/ui/DrJavaErrorWindow.java
changed	/branches/drjava-custombundle/src/edu/rice/cs/drjava/ui/config/ForcedChoiceOptionComponent.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/VectorOptionComponent.java

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

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

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

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

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

/branches/drjava-custombundle/src/edu/rice/cs/drjava/config/OptionMap.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/ResourceBundleConfiguration.java Diff Switch to side-by-side view

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

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

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

/branches/drjava-custombundle/src/edu/rice/cs/drjava/ui/config/ForcedChoiceOptionComponent.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/VectorOptionComponent.java Diff Switch to side-by-side view