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

java.lang.Object
  edu.rice.cs.drjava.config.OptionConstants.to

Enclosing interface:

OptionConstants

public static class OptionConstants.to
extends java.lang.Object

Constructor Summary

OptionConstants.to()

Method Summary

static java.util.Vector<javax.swing.KeyStroke>

vector(javax.swing.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 java.util.Vector<javax.swing.KeyStroke> vector(javax.swing.KeyStroke... ks)