DrJava Legacy SVN Repository

When manually opening an excluded file, now removes it from the list of excluded files

Had to remove alwaysOnTop() because it is not Java 1.4-compatible.

This commit addresses two bug reports:
[ 1955683 ] Go To File causes OutOfMemoryError
[ 1954828 ] DIalogs flicker if two on screen

Added help to "Insert Variable" dialog, and fixed
[ 1955654 ] "Increase Maximum Heap Size?" dialog at inappropriate time

Added 'xml.in' and 'xml.out.action' properties for External Proceses; added help for all properties, but help is not yet displayed.

Project root had to be made canonical.

This revision cleans up the behavior of the editor browsing history to
make behave much like the history stack of web browsers. The
following files were modifed:

M src/edu/rice/cs/drjava/model/BrowserHistoryManager.java
M src/edu/rice/cs/drjava/model/DummyGlobalModelListener.java
M src/edu/rice/cs/drjava/model/GlobalModelTestCase.java
M src/edu/rice/cs/drjava/model/GlobalModel.java
M src/edu/rice/cs/drjava/model/GlobalEventNotifier.java
M src/edu/rice/cs/drjava/model/FindResult.java
M src/edu/rice/cs/drjava/model/GlobalModelListener.java
M src/edu/rice/cs/drjava/model/DummyGlobalModel.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/model/BrowserDocumentRegion.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/ErrorPanel.java
M src/edu/rice/cs/drjava/ui/predictive/PredictiveInputModel.java
M src/edu/rice/cs/drjava/ui/BrowserHistoryPanel.java
M src/edu/rice/cs/drjava/ui/FindResultsPanel.java
M src/edu/rice/cs/drjava/ui/FindReplacePanel.java
M src/edu/rice/cs/util/text/SwingDocumentInterface.java

Added support for auto-refreshing a project file

Added import, export, drag-and-drop and remote operation for saved external processes.

This revision incorporates a refactored browser history that
separatess the browser history manager and browser document regions
from the other forms of region managers and regions in DrJava.
The following files were modified or added:

A src/edu/rice/cs/drjava/model/BrowserHistoryManager.java
M src/edu/rice/cs/drjava/model/GlobalModelTestCase.java
M src/edu/rice/cs/drjava/model/GlobalModel.java
A src/edu/rice/cs/drjava/model/DocumentRegionTest.java
A src/edu/rice/cs/drjava/model/DummyDocumentRegion.java
M src/edu/rice/cs/drjava/model/MovingDocumentRegion.java
A src/edu/rice/cs/drjava/model/EnhancedDocumentRegion.java
M src/edu/rice/cs/drjava/model/SimpleDocumentRegion.java
M src/edu/rice/cs/drjava/model/DummyOpenDefDoc.java
M src/edu/rice/cs/drjava/model/DummyGlobalModel.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
A src/edu/rice/cs/drjava/model/BrowserDocumentRegion.java
M src/edu/rice/cs/drjava/model/OpenDefinitionsDocument.java
M src/edu/rice/cs/drjava/project/ProjectFileParser.java
M src/edu/rice/cs/drjava/project/XMLProjectFileParser.java
M src/edu/rice/cs/drjava/ui/MainFrame.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/FindResultsPanel.java
M src/edu/rice/cs/drjava/ui/FindReplacePanel.java
M src/edu/rice/cs/util/text/SwingDocument.java
M src/edu/rice/cs/util/swing/HighlightManager.java