Menu

Commit [r4880]  Maximize  Restore  History

Merged drjava-key branch back into trunk.

Still to do: Make preferences GUI for key bindings prettier.

mgricken 2009-04-10

copied /branches/drjava-key/src/edu/rice/cs/drjava/ui/config/VectorKeyStrokeOptionComponent.java -> /trunk/drjava/src/edu/rice/cs/drjava/ui/config/VectorKeyStrokeOptionComponent.java
copied /branches/drjava-key/src/edu/rice/cs/drjava/ui/config/VectorKeyStrokeOptionComponentTest.java -> /trunk/drjava/src/edu/rice/cs/drjava/ui/config/VectorKeyStrokeOptionComponentTest.java
changed /trunk/drjava/src/edu/rice/cs/drjava/config/KeyStrokeOption.java
changed /trunk/drjava/src/edu/rice/cs/drjava/config/OptionConstants.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/AbstractConsoleController.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/DefinitionsPaneTest.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/ErrorPanel.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/FindReplacePanel.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/InteractionsController.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/InteractionsPane.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/KeyBindingManager.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/ProjectPropertiesFrame.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/config/KeyStrokeOptionComponentTest.java
changed /trunk/drjava/src/edu/rice/cs/drjava/ui/config/VectorOptionComponent.java
/trunk/drjava/src/edu/rice/cs/drjava/config/KeyStrokeOption.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/config/OptionConstants.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/AbstractConsoleController.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/DefinitionsPaneTest.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/ErrorPanel.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/FindReplacePanel.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/InteractionsController.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/InteractionsPane.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/KeyBindingManager.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/MainFrame.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/ProjectPropertiesFrame.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/config/ConfigFrame.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/config/KeyStrokeOptionComponentTest.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/ui/config/VectorOptionComponent.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB