org.gjt.sp.jedit
Class Options

java.lang.Object
  extended by org.gjt.sp.jedit.Options

public class Options
extends java.lang.Object

This class can contains static options needed by jEdit.


Field Summary
static boolean SIMPLIFIED_KEY_HANDLING
           
 
Constructor Summary
Options()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

SIMPLIFIED_KEY_HANDLING

public static boolean SIMPLIFIED_KEY_HANDLING
Constructor Detail

Options

public Options()