DrJava Legacy SVN Repository

A lightweight programming environment for Java

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

Commit [r4497] Maximize Restore History

Added possibility to split ${config.*} properties into

lists.
Added ${project.excluded.files}, ${project.extra.class.path},
and ${project.auto.refresh} properties.
Fixed bug in list properties if separator.length()!=1.
Started refactoring of highlight manager/highlights to
use DocumentRegions (still far from complete; uses old
system).

Authored by: mgricken 2008-05-28

Browse code at this revision

Parent: [r4496]

Child: [r4498]

changed	/trunk/drjava/src/edu/rice/cs/drjava/config/ConfigProperty.java
changed	/trunk/drjava/src/edu/rice/cs/drjava/config/EagerFileListProperty.java
changed	/trunk/drjava/src/edu/rice/cs/drjava/config/LazyFileListProperty.java
changed	/trunk/drjava/src/edu/rice/cs/drjava/config/OptionConstants.java
changed	/trunk/drjava/src/edu/rice/cs/drjava/ui/EditExternalDialog.java
changed	/trunk/drjava/src/edu/rice/cs/drjava/ui/ExecuteExternalDialog.java
changed	/trunk/drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
changed	/trunk/drjava/src/edu/rice/cs/util/JVMProcessCreator.java
changed	/trunk/drjava/src/edu/rice/cs/util/ProcessCreator.java
added	/trunk/drjava/src/edu/rice/cs/util/swing/HighlightedRegion.java
added	/trunk/drjava/src/edu/rice/cs/util/swing/IHighlighted.java

/trunk/drjava/src/edu/rice/cs/drjava/config/ConfigProperty.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/drjava/config/EagerFileListProperty.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/drjava/config/LazyFileListProperty.java Diff Switch to side-by-side view

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

/trunk/drjava/src/edu/rice/cs/drjava/ui/EditExternalDialog.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/drjava/ui/ExecuteExternalDialog.java Diff Switch to side-by-side view

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

/trunk/drjava/src/edu/rice/cs/util/JVMProcessCreator.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/util/ProcessCreator.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/util/swing/HighlightedRegion.java Diff Switch to side-by-side view

/trunk/drjava/src/edu/rice/cs/util/swing/IHighlighted.java Diff Switch to side-by-side view