DrJava Legacy SVN Repository

This revision corrects a bug in the bookmark action in MainFrame and
slightly cleans up the browser history code. We need better unit
tests for bookmarks.

The following files were modified.

M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/config/KeyStrokeOption.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/DefinitionsPane.java

Allowing read-only source files to be overwritten.
Still need to do the same for project files and other files.

This revision extends support for recent document navigation to the tabbed (interactions) pane. It also cleans up comment formatting in many files. The following files were modified:

M src/edu/rice/cs/drjava/IndentFiles.java
M src/edu/rice/cs/drjava/model/debug/DebugStackData.java
M src/edu/rice/cs/drjava/model/debug/DebugWatchData.java
M src/edu/rice/cs/drjava/model/debug/DebugWatchDataTest.java
M src/edu/rice/cs/drjava/model/debug/DebugThreadData.java
M src/edu/rice/cs/drjava/model/debug/DebugTestCase.java
M src/edu/rice/cs/drjava/model/debug/Debugger.java
M src/edu/rice/cs/drjava/model/debug/jpda/JPDAThreadData.java
M src/edu/rice/cs/drjava/model/debug/jpda/JPDADebugger.java
M src/edu/rice/cs/drjava/model/debug/jpda/DebugTest.java
M src/edu/rice/cs/drjava/model/debug/jpda/PendingRequestManager.java
M src/edu/rice/cs/drjava/model/debug/jpda/DebugContextTest.java
M src/edu/rice/cs/drjava/model/debug/jpda/Step.java
M src/edu/rice/cs/drjava/model/debug/jpda/JPDAStackData.java
M src/edu/rice/cs/drjava/model/JarJDKToolsLibrary.java
M src/edu/rice/cs/drjava/model/GlobalModel.java
M src/edu/rice/cs/drjava/model/AlreadyOpenException.java
M src/edu/rice/cs/drjava/model/DummyOpenDefDocTest.java
M src/edu/rice/cs/drjava/model/cache/DocumentCacheTest.java
M src/edu/rice/cs/drjava/model/GlobalModelCompileSuccessTest.java
M src/edu/rice/cs/drjava/model/DocumentClosedException.java
M src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevLinePlusMultilinePreserveTest.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionStartingNewStmtTest.java
M src/edu/rice/cs/drjava/model/definitions/indent/ActionStartStmtOfBracePlusTest.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionExistsCharInStmt.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionExistsCharInStmtTest.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineStartsWithTest.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionNewParenPhraseTest.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionLineContains.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionLineContainsTest.java
M src/edu/rice/cs/drjava/model/definitions/indent/ActionDoNothingTest.java
M src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevLinePlusMultiline.java
M src/edu/rice/cs/drjava/model/definitions/indent/IndentRulesTestCase.java
M src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevLinePlusBackupTest.java
M src/edu/rice/cs/drjava/model/definitions/CommentTest.java
M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocumentTest.java
M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/SingleQuoteTest.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/GapTest.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/HighlightStatus.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedToken.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelComment.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/AbstractReducedModel.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/BackSlashTest.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/BraceTest.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelDeleteTest.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/MixedQuoteTest.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/BraceReduction.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelTest.java
M src/edu/rice/cs/drjava/model/definitions/NoSuchDocumentException.java
M src/edu/rice/cs/drjava/model/definitions/IndentTest.java
M src/edu/rice/cs/drjava/model/definitions/IndentHelperTest.java
M src/edu/rice/cs/drjava/model/GlobalModelCompileSuccessOptionsTest.java
M src/edu/rice/cs/drjava/model/ClassAndInterfaceFinder.java
M src/edu/rice/cs/drjava/model/GlobalEventNotifier.java
M src/edu/rice/cs/drjava/model/junit/JUnitError.java
M src/edu/rice/cs/drjava/model/junit/JUnitErrorModelTest.java
M src/edu/rice/cs/drjava/model/RegionManager.java
M src/edu/rice/cs/drjava/model/FindResult.java
M src/edu/rice/cs/drjava/model/EventNotifierTest.java
M src/edu/rice/cs/drjava/model/repl/InteractionsModelCallback.java
M src/edu/rice/cs/drjava/model/repl/HistoryTest.java
M src/edu/rice/cs/drjava/model/repl/InteractionsScriptModel.java
M src/edu/rice/cs/drjava/model/repl/InteractionsEditorKit.java
M src/edu/rice/cs/drjava/model/repl/newjvm/InterpreterJVMRemoteI.java
M src/edu/rice/cs/drjava/model/repl/newjvm/MainJVMRemoteI.java
M src/edu/rice/cs/drjava/model/repl/newjvm/NewJVMTest.java
M src/edu/rice/cs/drjava/model/repl/RMIInteractionsModel.java
M src/edu/rice/cs/drjava/model/repl/SimpleInteractionsModel.java
M src/edu/rice/cs/drjava/model/GlobalModelListener.java
M src/edu/rice/cs/drjava/model/javadoc/JavadocModel.java
M src/edu/rice/cs/drjava/model/javadoc/DefaultJavadocModel.java
M src/edu/rice/cs/drjava/model/javadoc/JavadocListener.java
M src/edu/rice/cs/drjava/model/JDKToolsLibrary.java
M src/edu/rice/cs/drjava/model/FinalizationEvent.java
M src/edu/rice/cs/drjava/model/compiler/DefaultCompilerModel.java
M src/edu/rice/cs/drjava/model/compiler/CompilerErrorModel.java
M src/edu/rice/cs/drjava/model/compiler/CompilerOptions.java
M src/edu/rice/cs/drjava/model/compiler/CompilerModel.java
M src/edu/rice/cs/drjava/model/FindReplaceMachine.java
M src/edu/rice/cs/drjava/model/ClassAndInterfaceFinderTest.java
M src/edu/rice/cs/drjava/model/GlobalIndentTest.java
M src/edu/rice/cs/drjava/model/print/PagePrinter.java
M src/edu/rice/cs/drjava/model/print/DrJavaBook.java
M src/edu/rice/cs/drjava/model/SingleDisplayModel.java
M src/edu/rice/cs/drjava/model/DJDocument.java
M src/edu/rice/cs/drjava/model/FinalizationListener.java
M src/edu/rice/cs/drjava/RemoteControlServer.java
M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/config/SavableConfiguration.java
M src/edu/rice/cs/drjava/config/SavableConfigurationTest.java
M src/edu/rice/cs/drjava/config/ForcedChoiceOptionTest.java
M src/edu/rice/cs/drjava/config/ForcedChoiceOption.java
M src/edu/rice/cs/drjava/config/BooleanOption.java
M src/edu/rice/cs/drjava/config/BooleanOptionTest.java
M src/edu/rice/cs/drjava/config/VectorOption.java
M src/edu/rice/cs/drjava/DependenciesTest.java
M src/edu/rice/cs/drjava/RemoteControlClient.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/HelpFrame.java
M src/edu/rice/cs/drjava/ui/DrJavaErrorPopup.java
M src/edu/rice/cs/drjava/ui/RecentFileManager.java
M src/edu/rice/cs/drjava/ui/HTMLFrame.java
M src/edu/rice/cs/drjava/ui/JavadocFrame.java
M src/edu/rice/cs/drjava/ui/DebugPanel.java
M src/edu/rice/cs/drjava/ui/ErrorPanel.java
M src/edu/rice/cs/drjava/ui/DirectoryFilter.java
M src/edu/rice/cs/drjava/ui/predictive/PredictiveInputModel.java
M src/edu/rice/cs/drjava/ui/predictive/PredictiveInputFrame.java
M src/edu/rice/cs/drjava/ui/config/LabelComponent.java
M src/edu/rice/cs/drjava/ui/config/VectorClassnameOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/IntegerOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/VectorOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/VectorFileOptionComponentTest.java
M src/edu/rice/cs/drjava/ui/config/ToolbarOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
M src/edu/rice/cs/drjava/ui/config/StringOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/FontOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/ForcedChoiceOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/ColorOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/FileOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/BooleanOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/OptionComponent.java
M src/edu/rice/cs/drjava/ui/config/KeyStrokeOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/ButtonComponent.java
M src/edu/rice/cs/drjava/ui/InteractionsHistoryFilter.java
M src/edu/rice/cs/drjava/ui/InsertVariableDialog.java
M src/edu/rice/cs/drjava/ui/JavadocErrorPanel.java
M src/edu/rice/cs/drjava/ui/RegionsTreePanel.java
M src/edu/rice/cs/drjava/ui/InteractionsScriptController.java
M src/edu/rice/cs/drjava/ui/FindReplacePanel.java
M src/edu/rice/cs/drjava/ui/LineEnumRule.java
M src/edu/rice/cs/drjava/ui/QuickStartFrame.java
M src/edu/rice/cs/drjava/ui/InteractionsController.java
M src/edu/rice/cs/drjava/ui/JUnitPanel.java
M src/edu/rice/cs/drjava/ui/DrJavaErrorWindow.java
M src/edu/rice/cs/drjava/ui/ReverseHighlighter.java
M src/edu/rice/cs/drjava/ui/DrJavaScrollableDialog.java
M src/edu/rice/cs/util/FileOpsTest.java
M src/edu/rice/cs/util/text/EditDocumentException.java
M src/edu/rice/cs/util/docnavigation/IDocumentNavigatorAlgo.java
M src/edu/rice/cs/util/docnavigation/JListSortNavigatorTest.java
M src/edu/rice/cs/util/docnavigation/NodeData.java
M src/edu/rice/cs/util/docnavigation/RootNode.java
M src/edu/rice/cs/util/docnavigation/JTreeSortNavigatorTest.java
M src/edu/rice/cs/util/swing/DelegatingAction.java
M src/edu/rice/cs/util/swing/ScrollableDialog.java
M src/edu/rice/cs/util/swing/AsyncCompletionArgs.java
M src/edu/rice/cs/util/swing/FontChooser.java
M src/edu/rice/cs/util/swing/DisplayManager.java
M src/edu/rice/cs/util/swing/HighlightManagerTest.java
M src/edu/rice/cs/util/swing/ScrollableListSelectionDialogTest.java
M src/edu/rice/cs/util/swing/ScrollableListSelectionDialog.java
M src/edu/rice/cs/util/swing/FileDisplay.java
M src/edu/rice/cs/util/swing/BorderlessScrollPane.java
M src/edu/rice/cs/util/swing/RightClickMouseAdapter.java
M src/edu/rice/cs/util/swing/ScrollableListDialogTest.java
M src/edu/rice/cs/util/swing/ScrollableListDialog.java
M src/edu/rice/cs/util/ReaderWriterLockTest.java
M src/edu/rice/cs/util/ReaderWriterLock.java
M src/edu/rice/cs/util/BidirectionalHashMapTest.java
M src/edu/rice/cs/util/JVMProcessCreator.java
M src/edu/rice/cs/util/ArgumentTokenizerTest.java
M src/edu/rice/cs/util/ArgumentTokenizer.java
M src/edu/rice/cs/util/XMLConfigTest.java
M src/edu/rice/cs/util/XMLConfig.java
M src/edu/rice/cs/util/StringOpsTest.java
M src/edu/rice/cs/util/StringOps.java
M src/edu/rice/cs/util/jar/JarCreationTest.java
M src/edu/rice/cs/util/jar/JarBuilder.java
M src/edu/rice/cs/util/sexp/Atom.java
M src/edu/rice/cs/util/sexp/Tokens.java
M src/edu/rice/cs/util/sexp/TextAtom.java
M src/edu/rice/cs/util/sexp/NumberAtom.java
M src/edu/rice/cs/util/sexp/BoolAtom.java
M src/edu/rice/cs/util/sexp/SExpParserTest.java
M src/edu/rice/cs/util/sexp/SExpParser.java
M src/edu/rice/cs/util/StreamRedirectorTest.java
M src/edu/rice/cs/util/BalancingStreamTokenizer.java
M src/edu/rice/cs/util/newjvm/ExecJVM.java
M src/edu/rice/cs/util/newjvm/ExecJVMTest.java
M src/edu/rice/cs/util/ProcessCreator.java

nThis revision cleans up the structure of some unit tests by adding an
InteractiosController to GlobalModelTestCase. The constructor for
InteractionsConroller creates an InteractiomsPane which is required
for resetting interactios. This revision also cleans up the formatting
of program text in MainFrame.

The following files were modified.

M src/edu/rice/cs/drjava/model/GlobalModelIOTest.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/repl/InteractionsDJDocumentTest.java
M src/edu/rice/cs/drjava/model/repl/InteractionsModel.java
M src/edu/rice/cs/drjava/model/AbstractDJDocument.java
M src/edu/rice/cs/drjava/config/PropertyMaps.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/InteractionsPaneTest.java
M src/edu/rice/cs/drjava/ui/FindReplacePanel.java
M src/edu/rice/cs/drjava/ui/InteractionsController.java

This revision makes minor changes to the indenting rules concerning the treatment of parentheses and fixes a bug in the implementation of the cache.

The following files were modified.

M src/edu/rice/cs/drjava/model/definitions/indent/QuestionStartAfterOpenBrace.java
M src/edu/rice/cs/drjava/model/definitions/indent/Indenter.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionNewParenPhrase.java
M src/edu/rice/cs/drjava/model/definitions/IndentTest.java
M src/edu/rice/cs/drjava/model/DummyGlobalModelTest.java
M src/edu/rice/cs/drjava/model/AbstractDJDocument.java
M src/edu/rice/cs/drjava/model/compiler/JavacCompiler.java
M src/edu/rice/cs/drjava/ui/KeyBindingManager.java
M src/edu/rice/cs/util/text/SwingDocumentTest.java
M src/edu/rice/cs/util/swing/ScrollableDialog.java

"find" and "project.class.files" properties for External Processes
implemented.

Fixed Javadoc errors in drjava module.

Created tag drjava-20080415-1537-r4441

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.