DrJava Legacy SVN Repository

"Find Again" remembers "match case", "whole words" and
"no comments/strings" options as well.

Changed the layout of the Preferences dialog again.
The rationale for this version is the following:

- If it's just checkboxes (or only checkboxes, buttons, and labels),
like in Notifications or Compiler Options, put the label on the right
side and use both columns, i.e. both the column used for "left labels"
and the column used for the actual components.
- If it's checkboxes mixed with other components, put the label on the
left and word-wrap if the description gets too long.

Even though checkboxes with labels on the left side are non-standard,
having them on the left side saves a lot of space and fits into the
scheme of our dialog.

M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
M src/edu/rice/cs/drjava/ui/config/ConfigPanel.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/util/StringOps.java

Created drjava-autorefresh branch

Added "Find Again" button in "Find All" panels to repeat the same search.
Refactored some file properties for the external process facility.
Added "if", "tmpfile", "input", "project.mode", "project.changed",
"project.file", "project.main.class", "project.root" and "project.build.dir"
properties.
Fixed syntax highlighting in execute external process facility.

M src/edu/rice/cs/drjava/config/EagerFileListProperty.java
A src/edu/rice/cs/drjava/config/EagerFileProperty.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/FindResultsPanel.java
M src/edu/rice/cs/drjava/ui/ExecuteExternalDialog.java
M src/edu/rice/cs/drjava/ui/FindReplacePanel.java
M src/edu/rice/cs/util/StringOps.java

PLTUtilities: Updated TreeLog so that it is responsive when GUI events are overwhelmed by logging events (also throttles logging, preventing the queue from getting too large). Modified SwingUtil.clearEventQueue -- it no longer "supports" (by silently failing) calls from the event thread.

This revision updates comment formatting in the remaining files not
updated in the previous commit. It also attempts to address a bug in
the implementation of "Find All". When searching is complete and the
requisite highlighting has been recorded but not displayed, the
hourglass barrier on the interactions pane is removed. The code to
update the find/replace panel runs asynchronously in the event thread.
Prior to this commit, this asynchronous thread also updated the state
of the definitions pane (setting the active document). In some cases,
it appears that the definitions pane can be accessed before it
is updated by the asynchronous thread, putting it in an inconsistent
state. In this revision, the code that updates the state of the
definitions pane (at least the part involving the active document) is
performed in the "Find All" thread.

The following files were modified:

M src/edu/rice/cs/drjava/IndentFiles.java
M src/edu/rice/cs/drjava/DrJavaRoot.java
M src/edu/rice/cs/drjava/model/DummyGlobalModelListener.java
M src/edu/rice/cs/drjava/model/debug/DebugTestCase.java
M src/edu/rice/cs/drjava/model/debug/DebugListener.java
M src/edu/rice/cs/drjava/model/debug/jpda/DocumentDebugAction.java
M src/edu/rice/cs/drjava/model/debug/jpda/JPDADebugger.java
M src/edu/rice/cs/drjava/model/debug/jpda/EventHandlerThread.java
M src/edu/rice/cs/drjava/model/debug/jpda/PendingRequestManager.java
M src/edu/rice/cs/drjava/model/GlobalModelIOTest.java
M src/edu/rice/cs/drjava/model/Finalizable.java
M src/edu/rice/cs/drjava/model/GlobalModel.java
M src/edu/rice/cs/drjava/model/cache/DocumentCache.java
M src/edu/rice/cs/drjava/model/cache/DCacheAdapter.java
M src/edu/rice/cs/drjava/model/DefaultGlobalModel.java
M src/edu/rice/cs/drjava/model/GlobalModelCompileErrorsTest.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionExistsCharInStmt.java
M src/edu/rice/cs/drjava/model/definitions/CompoundUndoManager.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/ReducedModelComment.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/AbstractReducedModel.java
M src/edu/rice/cs/drjava/model/GlobalModelCompileSuccessOptionsTest.java
M src/edu/rice/cs/drjava/model/FindReplaceMachineTest.java
M src/edu/rice/cs/drjava/model/GlobalEventNotifier.java
M src/edu/rice/cs/drjava/model/junit/JUnitErrorModel.java
M src/edu/rice/cs/drjava/model/javadoc/DefaultJavadocModel.java
M src/edu/rice/cs/drjava/model/GlobalModelListener.java
M src/edu/rice/cs/drjava/model/GlobalModelJUnitTest.java
M src/edu/rice/cs/drjava/model/GlobalModelCompileSuccessTestCase.java
M src/edu/rice/cs/drjava/model/DummyOpenDefDoc.java
M src/edu/rice/cs/drjava/model/GlobalModelCompileIOTest.java
M src/edu/rice/cs/drjava/model/GlobalModelCompileTest.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/NoCompilerAvailable.java
M src/edu/rice/cs/drjava/model/compiler/CompilerModel.java
M src/edu/rice/cs/drjava/model/DummyGlobalModel.java
M src/edu/rice/cs/drjava/model/FileSaveSelector.java
M src/edu/rice/cs/drjava/model/FindReplaceMachine.java
M src/edu/rice/cs/drjava/model/ClipboardHistoryModel.java
M src/edu/rice/cs/drjava/model/GlobalIndentTest.java
M src/edu/rice/cs/drjava/model/DefaultLightWeightParsingControl.java
M src/edu/rice/cs/drjava/model/EventNotifier.java
M src/edu/rice/cs/drjava/model/GlobalModelOtherTest.java
M src/edu/rice/cs/drjava/model/FileGroupingState.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/config/OptionConstants.java
M src/edu/rice/cs/drjava/config/Configuration.java
M src/edu/rice/cs/drjava/config/KeyStrokeOptionTest.java
M src/edu/rice/cs/drjava/config/KeyStrokeOption.java
M src/edu/rice/cs/drjava/config/NonNegativeIntegerOption.java
M src/edu/rice/cs/drjava/config/Option.java
M src/edu/rice/cs/drjava/config/OptionParseException.java
M src/edu/rice/cs/drjava/ui/InteractionsPane.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/PreviewConsoleFrame.java
M src/edu/rice/cs/drjava/ui/SimpleInteractionsWindow.java
M src/edu/rice/cs/drjava/ui/JarOptionsDialog.java
M src/edu/rice/cs/drjava/ui/JavadocDialog.java
M src/edu/rice/cs/drjava/ui/InsertVariableDialog.java
M src/edu/rice/cs/drjava/ui/InteractionsScriptPane.java
M src/edu/rice/cs/drjava/ui/PreviewFrame.java
M src/edu/rice/cs/drjava/ui/MainFrameTest.java
M src/edu/rice/cs/drjava/ui/HistorySaveDialog.java
M src/edu/rice/cs/drjava/ui/InteractionsPaneTest.java
M src/edu/rice/cs/drjava/ui/RegionsTreePanel.java
M src/edu/rice/cs/drjava/ui/RecentFileManagerTest.java
M src/edu/rice/cs/drjava/ui/RecentDocFrame.java
M src/edu/rice/cs/drjava/ui/FindResultsPanel.java
M src/edu/rice/cs/drjava/ui/RegionsListPanel.java
M src/edu/rice/cs/drjava/ui/FindReplacePanel.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/ReverseHighlighter.java
M src/edu/rice/cs/util/FileOps.java
M src/edu/rice/cs/util/text/DocumentEditCondition.java
M src/edu/rice/cs/util/docnavigation/JListNavigator.java
M src/edu/rice/cs/util/docnavigation/IDocumentNavigator.java
M src/edu/rice/cs/util/docnavigation/INavigationListener.java
M src/edu/rice/cs/util/docnavigation/IDocumentNavigatorFactory.java
M src/edu/rice/cs/util/swing/FileChooser.java
M src/edu/rice/cs/util/swing/DirectorySelectorComponent.java
M src/edu/rice/cs/util/swing/ConfirmCheckBoxDialog.java
M src/edu/rice/cs/util/CompletionMonitor.java
M src/edu/rice/cs/util/Log.java
M src/edu/rice/cs/util/newjvm/ExecJVM.java
M src/edu/rice/cs/util/newjvm/SlaveJVMRunner.java
M src/edu/rice/cs/util/newjvm/AbstractSlaveJVM.java
M src/edu/rice/cs/util/newjvm/AbstractMasterJVM.java
M src/edu/rice/cs/util/newjvm/IntegratedMasterSlaveTest.java

Updated DynamicJava jar file.

DynamicJava: Fixed the erasure cast check. It was not correctly handling null values.

This revision cleans up the formatting of comments for much of the DrJava code base.

The following files were modified:

M src/edu/rice/cs/drjava/DrJavaTestCase.java
M src/edu/rice/cs/drjava/IndentFiles.java
M src/edu/rice/cs/drjava/DrJava.java
M src/edu/rice/cs/drjava/DrJavaRoot.java
M src/edu/rice/cs/drjava/model/debug/NoDebuggerAvailable.java
M src/edu/rice/cs/drjava/model/debug/DebugTestCase.java
M src/edu/rice/cs/drjava/model/debug/DebugModelCallback.java
M src/edu/rice/cs/drjava/model/debug/Debugger.java
M src/edu/rice/cs/drjava/model/debug/DebugEventNotifier.java
M src/edu/rice/cs/drjava/model/debug/DebugListener.java
M src/edu/rice/cs/drjava/model/debug/jpda/DocumentDebugAction.java
M src/edu/rice/cs/drjava/model/debug/jpda/JPDADebugger.java
M src/edu/rice/cs/drjava/model/debug/jpda/DebugAction.java
M src/edu/rice/cs/drjava/model/debug/jpda/DebugTest.java
M src/edu/rice/cs/drjava/model/debug/jpda/EventHandlerThread.java
M src/edu/rice/cs/drjava/model/debug/jpda/PendingRequestManager.java
M src/edu/rice/cs/drjava/model/debug/jpda/JPDABreakpoint.java
M src/edu/rice/cs/drjava/model/cache/DocumentCache.java
M src/edu/rice/cs/drjava/model/cache/DocumentCacheTest.java
M src/edu/rice/cs/drjava/model/cache/DDReconstructor.java
M src/edu/rice/cs/drjava/model/cache/DCacheAdapter.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineStartsWithSkipComments.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineIsWingComment.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionInsideComment.java
M src/edu/rice/cs/drjava/model/definitions/indent/IndentRuleQuestion.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionExistsCharInStmt.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineStartsWith.java
M src/edu/rice/cs/drjava/model/definitions/indent/ActionDoNothing.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionFollowedByStar.java
M src/edu/rice/cs/drjava/model/definitions/ColoringGlyphPainter.java
M src/edu/rice/cs/drjava/model/definitions/CompoundUndoManager.java
M src/edu/rice/cs/drjava/model/definitions/ColoringView.java
M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocumentTest.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/Gap.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/InsideDoubleQuote.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelControl.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/InsideLineComment.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/InsideBlockComment.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/TokenList.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/Free.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelBrace.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/BraceReduction.java
M src/edu/rice/cs/drjava/model/definitions/InvalidPackageException.java
M src/edu/rice/cs/drjava/model/definitions/DefinitionsEditorKit.java
M src/edu/rice/cs/drjava/model/ClassAndInterfaceFinder.java
M src/edu/rice/cs/drjava/model/junit/DefaultJUnitModel.java
M src/edu/rice/cs/drjava/model/junit/JUnitListener.java
M src/edu/rice/cs/drjava/model/junit/JUnitErrorModel.java
M src/edu/rice/cs/drjava/model/junit/JUnitErrorModelTest.java
M src/edu/rice/cs/drjava/model/junit/JUnitTestManager.java
M src/edu/rice/cs/drjava/model/junit/JUnitModelCallback.java
M src/edu/rice/cs/drjava/model/junit/JUnitModel.java
M src/edu/rice/cs/drjava/model/junit/JUnitEventNotifier.java
M src/edu/rice/cs/drjava/model/repl/InteractionsModelCallback.java
M src/edu/rice/cs/drjava/model/repl/History.java
M src/edu/rice/cs/drjava/model/repl/InteractionsDocument.java
M src/edu/rice/cs/drjava/model/repl/InteractionsEventNotifier.java
M src/edu/rice/cs/drjava/model/repl/JavaInterpreterTest.java
M src/edu/rice/cs/drjava/model/repl/InteractionsListener.java
M src/edu/rice/cs/drjava/model/repl/InteractionsDJDocument.java
M src/edu/rice/cs/drjava/model/repl/InteractionsEditorKit.java
M src/edu/rice/cs/drjava/model/repl/InteractionsModelTest.java
M src/edu/rice/cs/drjava/model/repl/InteractionsModel.java
M src/edu/rice/cs/drjava/model/repl/DummyInteractionsListener.java
M src/edu/rice/cs/drjava/model/repl/newjvm/InterpreterJVM.java
M src/edu/rice/cs/drjava/model/repl/newjvm/MainJVM.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/ClassPathManager.java
M src/edu/rice/cs/drjava/model/repl/DefaultInteractionsModel.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/javadoc/NoJavadocAvailable.java
M src/edu/rice/cs/drjava/model/javadoc/JavadocModel.java
M src/edu/rice/cs/drjava/model/javadoc/JavadocEventNotifier.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/AbstractDJDocument.java
M src/edu/rice/cs/drjava/model/compiler/DefaultCompilerModel.java
M src/edu/rice/cs/drjava/model/compiler/CompilerError.java
M src/edu/rice/cs/drjava/model/compiler/CompilerErrorModel.java
M src/edu/rice/cs/drjava/model/compiler/NoCompilerAvailable.java
M src/edu/rice/cs/drjava/model/compiler/CompilerModel.java
M src/edu/rice/cs/drjava/model/compiler/CompilerInterface.java
M src/edu/rice/cs/drjava/model/compiler/CompilerEventNotifier.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/model/print/DrJavaBook.java
M src/edu/rice/cs/drjava/model/print/DrJavaBookTest.java
M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/config/SavableConfigurationTest.java
M src/edu/rice/cs/drjava/config/Configuration.java
M src/edu/rice/cs/drjava/config/FileConfiguration.java
M src/edu/rice/cs/drjava/config/KeyStrokeOptionTest.java
M src/edu/rice/cs/drjava/config/KeyStrokeOption.java
M src/edu/rice/cs/drjava/config/NonNegativeIntegerOption.java
M src/edu/rice/cs/drjava/config/OptionParser.java
M src/edu/rice/cs/drjava/config/JavaSystemProperty.java
M src/edu/rice/cs/drjava/config/StringOption.java
M src/edu/rice/cs/drjava/config/PropertyMaps.java
M src/edu/rice/cs/drjava/config/Option.java
M src/edu/rice/cs/drjava/config/FileOption.java
M src/edu/rice/cs/drjava/config/ConfigProperty.java
M src/edu/rice/cs/drjava/config/OptionParseException.java
M src/edu/rice/cs/drjava/config/EagerFileListProperty.java
M src/edu/rice/cs/drjava/config/IntegerOption.java
M src/edu/rice/cs/drjava/config/EagerProperty.java
M src/edu/rice/cs/drjava/config/OptionMapLoader.java
M src/edu/rice/cs/drjava/config/ConstantProperty.java
M src/edu/rice/cs/drjava/CommandLineTest.java
M src/edu/rice/cs/drjava/MainController.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/PreviewConsoleFrame.java
M src/edu/rice/cs/drjava/ui/PreviewFrame.java
M src/edu/rice/cs/drjava/ui/MainFrameTest.java
M src/edu/rice/cs/drjava/ui/PreviewDefDocFrame.java
M src/edu/rice/cs/util/FileOps.java
M src/edu/rice/cs/util/FileOpsTest.java
M src/edu/rice/cs/util/text/ConsoleDocument.java
M src/edu/rice/cs/util/text/SwingDocument.java
M src/edu/rice/cs/util/text/DocumentEditCondition.java
M src/edu/rice/cs/util/docnavigation/JListNavigator.java
M src/edu/rice/cs/util/docnavigation/AWTContainerNavigatorFactory.java
M src/edu/rice/cs/util/docnavigation/IDocumentNavigator.java
M src/edu/rice/cs/util/docnavigation/INavigationListener.java
M src/edu/rice/cs/util/docnavigation/INavigatorItem.java
M src/edu/rice/cs/util/docnavigation/IDocumentNavigatorFactory.java
M src/edu/rice/cs/util/docnavigation/JTreeSortNavigator.java
M src/edu/rice/cs/util/swing/AsyncTask.java
M src/edu/rice/cs/util/swing/DelegatingAction.java
M src/edu/rice/cs/util/swing/DefaultFileDisplayManager.java
M src/edu/rice/cs/util/swing/DocumentOutputStream.java
M src/edu/rice/cs/util/swing/AsyncTaskLauncher.java
M src/edu/rice/cs/util/swing/AsyncCompletionArgs.java
M src/edu/rice/cs/util/swing/DirectorySelectorComponent.java
M src/edu/rice/cs/util/swing/FileDisplayManager.java
M src/edu/rice/cs/util/swing/UnfocusableButton.java
M src/edu/rice/cs/util/swing/HighlightManager.java
M src/edu/rice/cs/util/swing/FileSelectorComponent.java
M src/edu/rice/cs/util/swing/Utilities.java
M src/edu/rice/cs/util/swing/ConfirmCheckBoxDialog.java
M src/edu/rice/cs/util/swing/DirectoryChooser.java
M src/edu/rice/cs/util/swing/DocumentIterator.java
M src/edu/rice/cs/util/swing/FileSelectorStringComponent.java
M src/edu/rice/cs/util/ReaderWriterLock.java
M src/edu/rice/cs/util/ArgumentTokenizer.java
M src/edu/rice/cs/util/Log.java
M src/edu/rice/cs/util/CompletionMonitor.java
M src/edu/rice/cs/util/StringOps.java
M src/edu/rice/cs/util/StringOpsTest.java
M src/edu/rice/cs/util/jar/JarBuilder.java
M src/edu/rice/cs/util/jar/ManifestWriter.java
M src/edu/rice/cs/util/sexp/Tokens.java
M src/edu/rice/cs/util/sexp/Lexer.java
M src/edu/rice/cs/util/DirectorySelector.java
M src/edu/rice/cs/util/newjvm/ExecJVM.java
M src/edu/rice/cs/util/newjvm/SlaveJVMRunner.java
M src/edu/rice/cs/util/newjvm/SlaveRemote.java
M src/edu/rice/cs/util/newjvm/MasterRemote.java
M src/edu/rice/cs/util/newjvm/AbstractSlaveJVM.java
M src/edu/rice/cs/util/newjvm/AbstractMasterJVM.java
M src/edu/rice/cs/util/newjvm/IntegratedMasterSlaveTest.java

This revision attempts to slightly improve the performance of document
indenting by avoiding asking for the entire text of an
AbstractDocument when only a small portion is required. It also
cleans up the commenting and formatting of some of the code supporting
indenting.

The following files were modified:

M src/edu/rice/cs/drjava/model/cache/DocumentCache.java
M src/edu/rice/cs/drjava/model/cache/DCacheAdapter.java
M src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevLinePlusMultilinePreserve.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionPrevLineStartsWith.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineIsWingComment.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionHasCharPrecedingOpenBrace.java
M src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevLinePlus.java
M src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineStartsWith.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/QuestionFollowedByStar.java
M src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevLinePlusBackup.java
M src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevLinePlusBackupTest.java
M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelControl.java
M src/edu/rice/cs/drjava/model/AbstractDJDocument.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/util/text/AbstractDocumentInterface.java