DrJava Legacy SVN Repository

A lightweight programming environment for Java

Brought to you by: camus546, csreis, dlsmith, eallen, and 6 others

Commit [r4879] Maximize Restore History

Committed ugly but fully working version of multiple key assignment.

Deals with conflicts and menu items correctly.

Authored by: mgricken 2009-04-10

Browse code at this revision

Parent: [r4878]

Child: [r4880]

changed	/branches/drjava-key/src/edu/rice/cs/drjava/config/OptionConstants.java
changed	/branches/drjava-key/src/edu/rice/cs/drjava/ui/AbstractConsoleController.java
changed	/branches/drjava-key/src/edu/rice/cs/drjava/ui/DefinitionsPaneTest.java
changed	/branches/drjava-key/src/edu/rice/cs/drjava/ui/ErrorPanel.java
changed	/branches/drjava-key/src/edu/rice/cs/drjava/ui/FindReplacePanel.java
changed	/branches/drjava-key/src/edu/rice/cs/drjava/ui/InteractionsController.java
changed	/branches/drjava-key/src/edu/rice/cs/drjava/ui/InteractionsPane.java
changed	/branches/drjava-key/src/edu/rice/cs/drjava/ui/KeyBindingManager.java
changed	/branches/drjava-key/src/edu/rice/cs/drjava/ui/MainFrame.java
changed	/branches/drjava-key/src/edu/rice/cs/drjava/ui/ProjectPropertiesFrame.java
changed	/branches/drjava-key/src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
changed	/branches/drjava-key/src/edu/rice/cs/drjava/ui/config/KeyStrokeOptionComponentTest.java
changed	/branches/drjava-key/src/edu/rice/cs/drjava/ui/config/VectorKeyStrokeOptionComponent.java
added	/branches/drjava-key/src/edu/rice/cs/drjava/ui/config/VectorKeyStrokeOptionComponentTest.java
changed	/branches/drjava-key/src/edu/rice/cs/drjava/ui/config/VectorOptionComponent.java

/branches/drjava-key/src/edu/rice/cs/drjava/config/OptionConstants.java Diff Switch to side-by-side view

/branches/drjava-key/src/edu/rice/cs/drjava/ui/AbstractConsoleController.java Diff Switch to side-by-side view

/branches/drjava-key/src/edu/rice/cs/drjava/ui/DefinitionsPaneTest.java Diff Switch to side-by-side view

/branches/drjava-key/src/edu/rice/cs/drjava/ui/ErrorPanel.java Diff Switch to side-by-side view

/branches/drjava-key/src/edu/rice/cs/drjava/ui/FindReplacePanel.java Diff Switch to side-by-side view

/branches/drjava-key/src/edu/rice/cs/drjava/ui/InteractionsController.java Diff Switch to side-by-side view

/branches/drjava-key/src/edu/rice/cs/drjava/ui/InteractionsPane.java Diff Switch to side-by-side view

/branches/drjava-key/src/edu/rice/cs/drjava/ui/KeyBindingManager.java Diff Switch to side-by-side view

/branches/drjava-key/src/edu/rice/cs/drjava/ui/MainFrame.java Diff Switch to side-by-side view

/branches/drjava-key/src/edu/rice/cs/drjava/ui/ProjectPropertiesFrame.java Diff Switch to side-by-side view

/branches/drjava-key/src/edu/rice/cs/drjava/ui/config/ConfigFrame.java Diff Switch to side-by-side view

/branches/drjava-key/src/edu/rice/cs/drjava/ui/config/KeyStrokeOptionComponentTest.java Diff Switch to side-by-side view

/branches/drjava-key/src/edu/rice/cs/drjava/ui/config/VectorKeyStrokeOptionComponent.java Diff Switch to side-by-side view

/branches/drjava-key/src/edu/rice/cs/drjava/ui/config/VectorKeyStrokeOptionComponentTest.java Diff Switch to side-by-side view

/branches/drjava-key/src/edu/rice/cs/drjava/ui/config/VectorOptionComponent.java Diff Switch to side-by-side view