DrJava Legacy SVN Repository

Reverted Mac release packaging to use tar/gzip rather than zip. It's less convenient, but zip permissions don't seem to be supported in 10.4 and previous. Misc cleanup of build.xml (renamed "local-release", etc., to "release-local"; "skip-clean", "skip-tag", and "skip-test" now all work the same; ...)

Made sure all dialogs stay in front of the MainFrame.

Added autorefresh methods, and support for blacklisting files from a project. Does not autorefresh the project yet

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