Menu

Commit [r4897]  Maximize  Restore  History

Allowing vector options without headers and footers to be parsed as singleton vector to avoid configuration errors after we changed keyboard bindings from single keystrokes to vectors.

mgricken 2009-04-14

changed /trunk/drjava/src/edu/rice/cs/drjava/config/VectorOption.java
changed /trunk/drjava/src/edu/rice/cs/drjava/config/VectorOptionTest.java
/trunk/drjava/src/edu/rice/cs/drjava/config/VectorOption.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/config/VectorOptionTest.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB