DrJava Legacy SVN Repository

Made some properties for external processes eager.

M src/edu/rice/cs/drjava/ui/MainFrame.java

Added ${echo} property to allow cross-platform text output.
Improved error reporting if external process could not be executed.
Fixed one Java 1.4 incompatibility in RegionsTreePanel.java.
Removed some debug statements.

M src/edu/rice/cs/drjava/config/DrJavaPropertySetup.java
M src/edu/rice/cs/drjava/ui/ExternalProcessPanel.java
M src/edu/rice/cs/drjava/ui/RegionsTreePanel.java
M src/edu/rice/cs/drjava/ui/ExecuteExternalDialog.java
M src/edu/rice/cs/util/FileOps.java
M src/edu/rice/cs/util/ProcessChain.java
A src/edu/rice/cs/util/JoinInputStream.java
M src/edu/rice/cs/util/GeneralProcessCreator.java
M src/edu/rice/cs/util/ProcessSequence.java
M src/edu/rice/cs/util/ProcessCreator.java

This revision simply includes an added file (FileRegion.java) that was
inadvertently omitted in the previous commit.

The only file changed or added by this commit is:

A model/FileRegion.java

This revision regularizes the treatment of RegionsTreePanels so that
FindResultsPanels, the BookmarksPanel, and the BreakpointsPanel behave
similarly. Bookmark region labels now have exactly the same format
(including context) as FindResults labels. This revision also attempts
to keep the overhead of updating a large FindResultsPanel for a large file
reasonably low.

The following flles were modified:

M src/edu/rice/cs/drjava/model/debug/NoDebuggerAvailable.java
M src/edu/rice/cs/drjava/model/debug/Debugger.java
M src/edu/rice/cs/drjava/model/debug/jpda/JPDADebugger.java
M src/edu/rice/cs/drjava/model/debug/jpda/JPDABreakpoint.java
M src/edu/rice/cs/drjava/model/GlobalModel.java
M src/edu/rice/cs/drjava/model/DocumentRegionTest.java
D src/edu/rice/cs/drjava/model/HighlightedRegion.java
M src/edu/rice/cs/drjava/model/DefaultGlobalModel.java
M src/edu/rice/cs/drjava/model/DummyDocumentRegion.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/ConcreteRegionManager.java
M src/edu/rice/cs/drjava/model/DocumentRegion.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
M src/edu/rice/cs/drjava/model/Region.java
M src/edu/rice/cs/drjava/model/GlobalModelOtherTest.java
M src/edu/rice/cs/drjava/model/OrderedDocumentRegion.java
M src/edu/rice/cs/drjava/model/IDocumentRegion.java
M src/edu/rice/cs/drjava/model/OpenDefinitionsDocument.java
M src/edu/rice/cs/drjava/project/ProjectFileIR.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/project/ProjectProfile.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/RegionsTreePanel.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/BookmarksPanel.java
M src/edu/rice/cs/util/StringOps.java

Created tag drjava-beta-20080820-r4639

This revision simplifies and rationalizes the treatment of regions in
tabbed panels by forcing regions to be disjoint and ordering them
using the pair [end, start]. In addition, the bookmark tab
automatically opens and closes when it is populated and emptied,
respectively. The display of matching text after editing stills needs
to be improved and the display of bookmarks should include enclosing
text just as it does in FindResultsPanels.

The following files were modified:

M src/edu/rice/cs/drjava/model/BrowserHistoryManager.java
M src/edu/rice/cs/drjava/model/debug/jpda/JPDABreakpoint.java
M src/edu/rice/cs/drjava/model/DocumentRegionTest.java
M src/edu/rice/cs/drjava/model/RegionManager.java
M src/edu/rice/cs/drjava/model/ConcreteRegionManager.java
M src/edu/rice/cs/drjava/model/DocumentRegion.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/model/DefaultLightWeightParsingControl.java
M src/edu/rice/cs/drjava/model/GlobalModelOtherTest.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/TabbedPanel.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/RegionsListPanel.java
M src/edu/rice/cs/drjava/ui/FindResultsPanel.java
M src/edu/rice/cs/drjava/ui/BookmarksPanel.java

This revision fixes a problem with adding and removing
regions. In revisions 4612-4614, the tree node and index
were cached, but the cache was not invalidated when
a removed region caused a document node to disappear.

M src/edu/rice/cs/drjava/ui/RegionsTreePanel.java

This revision fixes
[ 2052194 ] Javadoc 1.6 fails to link to Java API

M src/edu/rice/cs/drjava/model/javadoc/DefaultJavadocModel.java

This revision addresses the bug
[ 2027306 ] Run sometimes doesn't show messages

Instead of only switching to the Interactions Pane when
a program is actually run, it also switches to the Pane
when the program cannot be run because the class files
are out of sync. The error message is only displayed in
the Interactions Pane, and could not be seen before.

The listener method runStarted was renamed to prepareForRun,
as it is now called even when the program is not able
to be run.

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/DefaultGlobalModel.java
M src/edu/rice/cs/drjava/model/GlobalEventNotifier.java
M src/edu/rice/cs/drjava/model/GlobalModelListener.java
M src/edu/rice/cs/drjava/ui/MainFrame.java

This revision addresses a problem with our "pseudo-modal"
windows competing with truly modal Dialog and JDialog windows.
[ 2040862 ] Modal dialog flicker: Project Properties/Increase Heap

M src/edu/rice/cs/drjava/ui/MainFrame.java