DrJava Legacy SVN Repository

Added an automatic "Check for New Version of DrJava"
dialog. By default, it runs every 7 days on start-up
and checks if there is a newer stable or beta release.
If there is, then a dialog is displayed with a "Download"
button that takes the user to SourceForge.
The settings can also be changed so that it checks for
a) stable releases only, b) stable+beta, c) stable+beta+
dev releases, or d) that it doesn't check automatically.
The number of days between automatic checks can also
be changed (all in the Miscellaneous pane of the
Preferences).
The dialog can be manually invoked by using a menu
item in the Help menu.

Created tag drjava-20080411-1951-r4436

Updated platform.jar

Fixed typo in Javac160Compiler

Made fixes to the XML project file reader for Windows systems,
changed several tests so they do not leave as many temp files
behind on Windows.

This tiny revision (inserting a single letter) fixes a retroweaving
bug. The previous commit(s) were not Java 1.4 compatible because they
contained an invocation of setPreferredSize(Dimension d) on a receiver of type
Component. This method was not added to the Component API until Java
5.0 but it has been included in the JComponent API since its inception
as part of Swing. The revision changes the type of a local variable that
is bound to a JLabel from Component to JComponent.

This revision refactors the implementation of DocumentRegions and
RegionManager with the goal of improving the performance of findAll
searches that produce many matches. The refactoring is modest and far
less ambitious than originally planned because the notions of Region
and RegionManager span too broad a range of behavior including the
management of browser history (editing history), editor and debugger
bookmarks, and the matches produced by "find all" searches. If the
browser history function were split off into a separate data
abstraction, then the region manager could be structured as a mapping
from documents to ordered document sets where hte mapping is
simplemented by a hash table and the sorted document sets as tree
sets. (The null document regions created by the project file parser
have to be treated separately since they are pre-regions for which no
document yet exists.) Performance could be significantly improved by
additional refactoring. The code could also be simplified.

The following files were modified.

M src/edu/rice/cs/drjava/model/debug/DebugTestCase.java
M src/edu/rice/cs/drjava/model/debug/DebugEventNotifier.java
M src/edu/rice/cs/drjava/model/DefaultGlobalModel.java
M src/edu/rice/cs/drjava/model/MovingDocumentRegion.java
M src/edu/rice/cs/drjava/model/RegionManager.java
M src/edu/rice/cs/drjava/model/SimpleDocumentRegion.java
M src/edu/rice/cs/drjava/model/DocumentRegion.java
M src/edu/rice/cs/drjava/model/RegionManagerListener.java
M src/edu/rice/cs/drjava/model/FindReplaceMachine.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/DebugPanel.java
M src/edu/rice/cs/drjava/ui/AbstractDJPane.java
M src/edu/rice/cs/drjava/ui/BrowserHistoryPanel.java
M src/edu/rice/cs/drjava/ui/BreakpointsPanel.java
M src/edu/rice/cs/drjava/ui/RegionsTreePanel.java
M src/edu/rice/cs/drjava/ui/FindResultsPanel.java
M src/edu/rice/cs/drjava/ui/InteractionsController.java
M src/edu/rice/cs/drjava/ui/BookmarksPanel.java

Introduced XML project file format. DrJava can open both the old .pjt
and the new .xml format. The first two characters in the file are used
for automatic detection, so the file extension does not matter.

DrJava only saves in the new XML format. If the extension is .pjt,
DrJava asks if the user wants to change the extension to .xml. The
user can also keep the .pjt extension, but the contents of the file
will be XML. (There is an "Export Project in Old .pjt Format" hidden
in the "Help" menu.)

Some bugfixes in XMLConfig, ability to create subconfigurations
that represent a part of the XML document's AST.

"Listen failed on port 0" error due to firewall problems is
detected and explained. DrJava actually terminates if an error
occurs in the MainFrame ctor, instead of just hang.

Added "No Test Cases" option to Find/Replace panel. Ignores
matches in files that end in "Test.java". Fixed backwards
searches (cursor was positioned at the end of the match,
must be at the beginning). "Find All" always searches
forward now (if it searched backwards, the highlights went
in the wrong direction).

Bottom pane resizes automatically to display active pane;
no more problems with bottom pane being initially too small
for Find/Replace panel and Find All results.

Changed highlighter for Find All to a box around the match.
Increased number of colors to 8. Find All will initially
pick the color that has been used the least, but it will
re-use colors: two searches may have the same highlighter
color.

Changed look-and-feel back to CrossPlatformLookAndFeel (Metal)
for anything but Mac OS.

"Create Jar" options and file name saved in project file
again (was removed for unknown reason).

Fixed some tests that did not delete temporary files.

--This line, and those below, will be ignored--

A testFiles/sample-project-file.xml
M src/edu/rice/cs/drjava/DrJavaRoot.java
M src/edu/rice/cs/drjava/model/debug/DebugBreakpointData.java
M src/edu/rice/cs/drjava/model/debug/jpda/JPDADebugger.java
M src/edu/rice/cs/drjava/model/GlobalModel.java
M src/edu/rice/cs/drjava/model/DefaultGlobalModel.java
M src/edu/rice/cs/drjava/model/DummyGlobalModel.java
M src/edu/rice/cs/drjava/model/FindReplaceMachine.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/project/ProjectFileParser.java
A src/edu/rice/cs/drjava/project/XMLProjectFileParser.java
A src/edu/rice/cs/drjava/project/XMLProjectFileParserTest.java
M src/edu/rice/cs/drjava/project/ProjectTest.java
M src/edu/rice/cs/drjava/project/ProjectProfile.java
A src/edu/rice/cs/drjava/project/ProjectFileParserFacade.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/DrJavaErrorPopup.java
M src/edu/rice/cs/drjava/ui/DefinitionsPane.java
M src/edu/rice/cs/drjava/ui/TabbedPanel.java
M src/edu/rice/cs/drjava/ui/ProjectMenuTest.java
M src/edu/rice/cs/drjava/ui/FindResultsPanel.java
M src/edu/rice/cs/drjava/ui/FindReplacePanel.java
M src/edu/rice/cs/drjava/ui/DrJavaErrorWindow.java
M src/edu/rice/cs/util/FileOpsTest.java
M src/edu/rice/cs/util/XMLConfigTest.java
M src/edu/rice/cs/util/XMLConfig.java

Updated platform.jar

Updated Javac160Compiler to filter exe files out of the class path in versions that don't support it