public class JasonIDPlugin
extends org.gjt.sp.jedit.EBPlugin
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
MENU |
static java.lang.String |
NAME |
static java.lang.String |
OPTION_PREFIX |
static java.lang.String |
PROPERTY_PREFIX |
Constructor and Description |
---|
JasonIDPlugin() |
Modifier and Type | Method and Description |
---|---|
void |
handleMessage(org.gjt.sp.jedit.EBMessage msg) |
void |
start() |
public static final java.lang.String NAME
public static final java.lang.String MENU
public static final java.lang.String PROPERTY_PREFIX
public static final java.lang.String OPTION_PREFIX