DrJava Legacy SVN Repository

Reversed last change

Seems to help with bug
[ 1478796 ] DrJava Does Not Shut Down With Project Open
on Compaq tc1100 tablet PCs. Resets interactions even
when quitting.

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

Fixed bug 1478722 on a tip from Mathias by uncommenting the commented
expression in lines 1169-1170 of AbstractGlobalModel.java.

M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java

Revised the definition of the "Compile Project" and "Test Project"
commands so that they ignore both auxiliary and external files.

Revised "Compile All" and "Test" commands so that they use all open
documents including external files when a project is open.

Revised the UI so that the "Compile All" and "Test" buttons are
transformed to "Compile Project" and "Test Project" when a project is
open.

Changed the label on the "Compile All" button to "Compile" when DrJava
is in flat file mode, making its labeling consistent with the "Test"
and "Run" buttons.

Changed the tool tips for the commands "compileAllAction",
"compileProjectAction", "junitAllAction", and "junitProjectAction" so that
they describe with their new behavior.

Revised the UI to gray out the "Run Project" menu command when DrJava
is in flat file mode. Now all project specific commands are grayed out
(disabled) when DrJava is in flat file mode.

M edu/rice/cs/drjava/model/junit/DefaultJUnitModel.java
M edu/rice/cs/drjava/model/compiler/DefaultCompilerModel.java
M edu/rice/cs/drjava/model/compiler/CompilerModel.java
M edu/rice/cs/drjava/model/AbstractGlobalModel.java
M edu/rice/cs/drjava/ui/MainFrame.java
M edu/rice/cs/drjava/ui/InteractionsPane.java
M edu/rice/cs/util/FileOps.java
A edu/rice/cs/util/classloader/ToolsJarClassLoaderTest.java

Moved the "Show a notification window when the first DrJava
error occurs" option into the "Notifications" panel.

M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java

This commit introduces a clipboard history as detailed in
feature request [ 1475263 ] Copy/Paste History

Copy and Cut actions add to the front of a list of strings.
"Paste from History" displays that list of strings, lets
the user choose one, moves that string to the front of the
list, puts it in the clipboard, and pastes it.

It is by default bound to Ctrl-Shift-V.

A src/edu/rice/cs/drjava/model/ClipboardHistoryModel.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/InteractionsPane.java
M src/edu/rice/cs/drjava/ui/FindReplaceDialog.java
M src/edu/rice/cs/drjava/ui/ConsoleController.java
M src/edu/rice/cs/drjava/ui/ErrorPanel.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
M src/edu/rice/cs/drjava/ui/AbstractConsoleController.java
A src/edu/rice/cs/drjava/ui/ClipboardHistoryFrame.java
M src/edu/rice/cs/util/swing/Utilities.java

dealt with caret movements left and right

code folding partially works

This commit fixes bug
[ 1476650 ] Go To Breakpoint/Bookmark in Yet Unseen Document

"Go To" for bookmarks jumps to the beginning character of
a bookmark, not to the beginning of the line.

It also allows multiple highlights in the same region, i.e.
an underline or frame highlight is now visible on top of a
solid highlight.

M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/RegionsTreePanel.java
M src/edu/rice/cs/drjava/ui/ReverseHighlighter.java
M src/edu/rice/cs/util/swing/HighlightManager.java

Fixes bug [ 1475743 ] Color of Breakpoints and Bookmarks Not Updated

The highlight painters in the MainFrame hashtables are
now being refreshed, so the color changes correctly.

I also restored the "(disabled)" tag for disabled
breakpoints in the BreakpointsPanel.

I added a highlighter that just underlines and use that
now for bookmarks isntead of the one that draws a box
around it.

M src/edu/rice/cs/drjava/ui/MainFrame.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/DefinitionsPane.java
M src/edu/rice/cs/drjava/ui/ReverseHighlighter.java