DrJava Legacy SVN Repository

Working on fixing 3043905:
Pressing Ctrl-Z (Undo) Makes System.in Box Disappear

When switching from Definitions Pane to Input Box,
undo/redo isn't switched back to the Input Box, it
stays in the Def Pane. That's because the Input Box
gets focus, not the Interactions Pane, which is what
triggers the update right now.

Fixing 3043199: Undo/Redo Menu Items Not Enabled Properly

The menu items were not enabled and disabled like the toolbar buttons,
which had PropertyChangeListeners on the "enabled" properties of the
actions.

Put back an assertion after fixing bug 2321815.
Split an assertion in two to help diagnose bug 2906538.

M drjava/src/edu/rice/cs/drjava/model/DocumentRegion.java
M drjava/src/edu/rice/cs/drjava/model/FindReplaceMachine.java

Fixed bug 2976104:
java.lang.StringIndexOutOfBoundsException: String index out of range: 94
at java.lang.String.substring(Unknown Source)
at edu.rice.cs.drjava.platform.WindowsRegistry.nullTerminatedToString(WindowsRegistry.java:612)

According to the String Javadocs, "The length of the new String is a
function of the charset, and hence may not be equal to the length of
the byte array."

We cannot use barr.length to index in the string, we
need to index in the array.

Cannot test this on a Chinese system, but I'm fairly certain this should
work.

Probably fixed bug 3037300:
NullPointerException when Find in Missing File

When the change was made to allow users to abort a search that
encountered missing files, the getNextDocument was made to return null
to signal such an aborted search. That probably caused the
NullPointerException.

I wasn't able to reproduce the bug before I made this change,
though. This analysis is based purely on reading the source code.

Changing the default look-and-feel for non-Windows, non-Mac
machines (=Linux) to the system default. This will probably
be GTK instead of Metal, which is much prettier.

Displaying compiz warning only for Java <1.6.0_20.

Updating compiler interface with extensions it can handle.
Default: .java .dj .dj0 .dj1 .dj2
HJ: .hj

Fixed [ drjava-Bugs-3040733 ]
NullPointerException When Removing Find All Matches

Updated the sootclasses jar.