DrJava Legacy SVN Repository

Created tag drjava-20090220-r4761

Fixes bug 2618570: cannot read zip file entry
This bug had reappeared because the fix that had been introduced in
revision 4567 to deal with exe files and JDK 6 update 4 and higher
was reverted in revision 4675.

Set default for "Close System.in" to Ctrl-Z on Windows systems.

Menu Item and Customizable Shortcut for Ctrl-D End of Stream (feature 2591844)
https://sourceforge.net/tracker2/?func=detail&aid=2591844&group_id=44253&atid=438938

Menu option for closing System.in

Created tag drjava-20090216-r4756

Imports should persist over breakpoints (Feature 1418853)
https://sourceforge.net/tracker/?func=detail&aid=1418853&group_id=44253&atid=438938

Commented auto-import better.
NOTE: This only processes import statements until the
first non-import statement or comment is reached
Example: import java.io.File; import java.io.IOException
--> imports both File and IOException
Example: import java.io.File; /* comment */ import java.io.IOException
--> imports only File
Example: import java.io.File; File f; import java.io.IOException
--> imports only File
If this were done in the interpreter, better parsing could be done.

Implemented auto-import after Breakpoints and Steps.

Changed InputBox in InteractionsPane so that finishing the input
with Enter does not display the final newline

Pressing Ctrl-D now allows the user to close the input stream.
The behavior is the same as on MacOS: If Ctrl-D is pressed with
an empty input string (i.e. nothing else has been entered), then
the stream is closed and read() will return -1. If other
characters have already been entered, then those characters
will be used as input, the stream is NOT closed, but contrary
to pressing Enter, no newline character is entered.

Implements feature request: 1470491
Allow "end of file" in System.in input
https://sourceforge.net/tracker2/?func=detail&aid=1470491&group_id=44253&atid=438938