DrJava Legacy SVN Repository

Fixed the JUnitPanel so that the Close button on the stack trace display actually closed the window.

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