DrJava Legacy SVN Repository

A lightweight programming environment for Java

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

Added preliminary, ugly VectorKeyStrokeOptionComponent that can

handle multiple keystrokes per action.

Authored by: mgricken 2009-04-08

Parent: [r4877]

changed	/branches/drjava-key/src/edu/rice/cs/drjava/config/KeyStrokeOption.java
changed	/branches/drjava-key/src/edu/rice/cs/drjava/config/OptionConstants.java
added	/branches/drjava-key/src/edu/rice/cs/drjava/ui/config/VectorKeyStrokeOptionComponent.java
changed	/branches/drjava-key/src/edu/rice/cs/drjava/ui/config/VectorOptionComponent.java