DrJava Legacy SVN Repository

Created tag drjava-20100816-r5366

Library update.

Created tag drjava-stable-20100816-r5364

Fixed 2911586:
Interactions Pane Undo/Redo Doesn't Work When Detached
Fixed 3044689:
Mac Menu Accelerators Only Update in One Frame
Improved 2038009:
Key shortcuts unpredictable outside definitions

Detached frames now contain an InputMap that acts for all its contents
[using
getRootPane().getInputMap(JComponent.WHEN_ANCESTOR_OF_FOCUSED_COMPONENT)
], and this InputMap contains the keyboard shortcuts for the
MainFrame's menu items.

The detached frames now install listeners on the MainFrame's menu
items to keep the accelerators updated.

Fixed bug 3044686: Changes to Key Bindings Not Canceled Properly

by resetting the "current keystroke map" when canceling or resetting
to default.

Fixed problem that prevented configuration of key bindings for actions
with the same names, e.g. "New" (File) and "New" (Project).
Working on bug: 2911586
Interactions Pane Undo/Redo Doesn't Work When Detached

Commenting out logging that was accidentally left in.

Fixed bug 3043918: Mac Starts Out with Undo Enabled for Interactions

This was caused by a work-around that used to be necessary on the Mac
when setFont didn't work appropriately. The work-around was removed,
it doesn't seem necessary anymore with Mac OS 10.4.11 and Java
1.5.0_19.

Fixed bug 2953661: "Go to Opening/Closing Brace" Shortcut Inserts { or
} by avoiding the Icelandic keyboard fix when Ctrl-Shift-[ or ] is
depressed.

Also added OptionListeners to update undo/redo key bindings for Input
Box (See bug 3043905: Pressing Ctrl-Z (Undo) Makes System.in Box
Disappear).

Updated with the most recent soot jar, that should have no compilation issues.