DrJava Legacy SVN Repository

Fixes bugs
2881714: Interactions panel "returns" false for 0.0 == -0.0
2885861: Comparison of NaNs

Attempt to fix a NullPointerException InteractionsPaneTest.testUndoRedoNewLine

Implemented feature request 2898710:
Changing Title for "Tabbed Panes" Window
(and also for "Debugger" Window)

Adds undo/redo functionality to the Interactions Pane; Fixes bug ID:2898576 - Backspace undo/redo issues -- John Cate - 11_25_09

Fixes bug 2902638: Double-Clicking in Mac Finder Not Working
Implements feature request 2200862:
Check if Memory Size is Possible

Mac platform update.

Updated plt.jar; fixed some DrJava code to match the changes.

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