DrJava Legacy SVN Repository

Added a "benchmark" target

DrJava will now remember whether it is maxamized or not and return to that state on start-up.

Files modified:
M ui/MainFrame.java
M config/OptionConstants.java

This revision provides a fast path through the caretUpdate method in
the PostionListener attached to the DefinitionsPane (all of the code
is in MainFrame.java). The fast path applies to inserting consecutive
characters.

The following file was modified.

M src/edu/rice/cs/drjava/ui/MainFrame.java

Modified the signature of InterpreterJVM to avoid Iterable -- apparently RMIC and Retroweaver clash when used together.

Modified code dealing with class paths to consistently use Iterable<File> instead URL-based objects like ClassPathVector and ClassPathEntry. Since class paths never consist of arbitrary URLs, the difficulty of maintaining such a representation is not necessary, and leads to a lot of ugly code. (Also updated plt.jar to the latest version.)

Made ConsList serializable; added a getProperties() method to ConcurrentUtil to get a filtered list of current properties; improved log-creation process (added support for a plt.log.factory property pointing to a static method); Dan discovered that "insure" is spelled "ensure" when you're not talking about money

This revision streamlines the implementation of the getLength
operation on ODD's; the new implementation uses the _image stored in
the DDReconstructor for the tdocument if the DefintionsDocument does
not exist (eliminating the construction of the DefinitionsDocument).
The revision also simplifies the implementation of the newFile()
operation in AbstractGlobalModel.java.

The following files were modified:

M src/edu/rice/cs/drjava/model/cache/DocumentCache.java
M src/edu/rice/cs/drjava/model/cache/DocumentCacheTest.java
M src/edu/rice/cs/drjava/model/cache/DCacheAdapter.java
M src/edu/rice/cs/drjava/model/DefaultGlobalModel.java
M src/edu/rice/cs/drjava/model/repl/newjvm/MainJVM.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/CommandLineTest.java
M src/edu/rice/cs/drjava/ui/DefinitionsPane.java
M src/edu/rice/cs/drjava/ui/AbstractDJPane.java
M src/edu/rice/cs/util/NullFile.java

Changed save function to make it reselect document
in flat file view.

M src/edu/rice/cs/drjava/ui/MainFrame.java

This changes the way gotoLine is done by using Swing's line-to-
offset conversion instead of the reduced model.

M src/edu/rice/cs/drjava/model/DummyOpenDefDoc.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/model/OpenDefinitionsDocument.java

Revised the implementation of getCurrentLine and getCurrentCol in
DefinitionsDocument so that they exploit fast Swing mapping from
offset to paragraph. Revised the caretUpdate method in the
position listener in MainFrame so that is uses caret position rather
than document location (which caused a minor bug in updating
the displayed location). Revised the commenting for SwingWorker.java.

The following files were modified:

M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/util/swing/SwingWorker.java