DrJava Legacy SVN Repository

PLT Utilities:

- Fixed a bug in ConcurrentUtil.exportInProcess which intermittently caused the RMI server VM to terminate early.

- Modified JVMBuilder to handle properties mappings as Map<String, String> instances rather than Properties instances (the latter is a legacy API with an improper generic signature, and its support for a secondary "default" Properties instance is very hard to support fully in this context). This led to a backwards-incompatible removal of some constructors, since the types for properties and environments are identical; the alternative would have been confusing. Also improved support for default backing Properties objects when they're provided -- defaults that aren't overridden are copied into the internal Map<String, String>.

- Added JVMBuilder methods to set individual properties/environment variables and to provide "defaults" -- alternatives to use if the key is not already in use.

- "Fixed" a bug in ConcurrentUtil.work which was leading to test failures. The "work" to be performed seemed to have been optimized away, leading to different behavior than expected (somehow, an interrupt was never detected.) I made some arbitrary code changes in the hope that optimization would be less likely, and that seems to have handled the problem, but no guarantees that it won't crop up again.

Fixes badly scaled images in PDF files after attempting
to fix bug 2892129: Squished Images in Included Documentation

We now ignore image scaling in HTML according to
http://www.sagehill.net/docbookxsl/ImageSizing.html#DiffImageSizes
and
http://www.sagehill.net/docbookxsl/Parameters.html#ParameterSyntax

M drjava/lib/docs.jar
M docs/src/quickstart/quickstart.docbook
M docs/src/user/userdoc.docbook
M docs/build.xml

Fixes bug 2892129: Squished Images in Included Documentation

M drjava/lib/docs.jar
M docs/src/quickstart/quickstart.docbook
M docs/src/user/userdoc.docbook

Implemented feature request 2888809:
Interactions Working Directory Preference for Flat-File Mode

There is a directory preference in the Preferences,
Interactions category. It is only used in flat-file mode,
not in project mode. If it is not set, then the source
root of the document run is used.

M src/edu/rice/cs/drjava/model/DefaultGlobalModel.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java

Removed debug print statement.

Started working on fixed working directory preference.

M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
M src/edu/rice/cs/drjava/ui/config/DirectoryOptionComponent.java

Added "previous" and "next" buttons for regions tree panels
(breakpoints, bookmarks, find results). Edit/Tabbed Panes
menu items.
See feature requests:
2002195: Next/Previous Match Keys for Current RegionsTreePanel
2851720: Next/Previous Buttons for Find Results

M src/edu/rice/cs/drjava/model/RegionManager.java
M src/edu/rice/cs/drjava/model/ConcreteRegionManager.java
M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/RegionsTreePanel.java
M src/edu/rice/cs/drjava/ui/FindResultsPanel.java

Updated JUnit javadocs to 4.7.

M drjava/lib/docs.jar
M drjava/src/edu/rice/cs/drjava/config/OptionConstants.java
M drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
D docs/src/javaapi/allclasses-junit4.4.html
A docs/src/javaapi/allclasses-concjunit4.7.html

Created tag drjava-20091021-r5122

Updated ConcJUnit, changed "regenerate ConcJUnit runtime?"
dialog response on "no", fixes in ConcJUnit preferences.

M lib/concutest-junit-4.7-withrt-nodep.jar
M lib/buildlib/concutest-junit-4.7-withrt-nodep.jar
M lib/buildlib/concjunitrt.jar
M src/edu/rice/cs/drjava/model/junit/ConcJUnitUtils.java
M src/edu/rice/cs/drjava/model/repl/newjvm/MainJVM.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java