org.gjt.sp.jedit
Class JEditMode

java.lang.Object
  extended by org.gjt.sp.jedit.Mode
      extended by org.gjt.sp.jedit.JEditMode

public class JEditMode
extends Mode

Since:
jEdit 4.3pre10

Field Summary
 
Fields inherited from class org.gjt.sp.jedit.Mode
marker, name, props
 
Constructor Summary
JEditMode(java.lang.String name)
           
 
Method Summary
 java.lang.Object getProperty(java.lang.String key)
          Returns a mode property.
 void loadIfNecessary()
          Loads the mode from disk if it hasn't been loaded already.
 
Methods inherited from class org.gjt.sp.jedit.Mode
accept, getBooleanProperty, getIgnoreWhitespace, getIndentRules, getName, getTokenMarker, init, isElectricKey, setProperties, setProperty, setTokenMarker, toString, unsetProperty
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

JEditMode

public JEditMode(java.lang.String name)
Method Detail

getProperty

public java.lang.Object getProperty(java.lang.String key)
Returns a mode property.

Overrides:
getProperty in class Mode
Parameters:
key - The property name
Since:
jEdit 4.3pre10

loadIfNecessary

public void loadIfNecessary()
Loads the mode from disk if it hasn't been loaded already.

Overrides:
loadIfNecessary in class Mode
Since:
jEdit 4.3pre10