Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

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()
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD