public class XmlPlugin
extends org.gjt.sp.jedit.EBPlugin
Constructor and Description |
---|
XmlPlugin() |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
getSettingsDirectory() |
void |
handleMessage(org.gjt.sp.jedit.EBMessage msg) |
static boolean |
isDelegated(org.gjt.sp.jedit.textarea.JEditTextArea textArea)
Returns if the caret is inside a delegated region in the
specified text area.
|
static boolean |
isDelegated(org.gjt.sp.jedit.textarea.TextArea textArea) |
void |
start() |
void |
stop() |
public static java.lang.String getSettingsDirectory()
public void start()
start
in class org.gjt.sp.jedit.EditPlugin
public void stop()
stop
in class org.gjt.sp.jedit.EditPlugin
public void handleMessage(org.gjt.sp.jedit.EBMessage msg)
handleMessage
in interface org.gjt.sp.jedit.EBComponent
handleMessage
in class org.gjt.sp.jedit.EBPlugin
public static boolean isDelegated(org.gjt.sp.jedit.textarea.JEditTextArea textArea)
public static boolean isDelegated(org.gjt.sp.jedit.textarea.TextArea textArea)