edu.rice.cs.drjava.config
Class OptionConstants.to

java.lang.Object
  extended by edu.rice.cs.drjava.config.OptionConstants.to
Enclosing interface:
OptionConstants

public static class OptionConstants.to
extends Object


Constructor Summary
OptionConstants.to()
           
 
Method Summary
static Vector<KeyStroke> vector(KeyStroke... ks)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

OptionConstants.to

public OptionConstants.to()
Method Detail

vector

public static Vector<KeyStroke> vector(KeyStroke... ks)