public class Plugin
extends org.gjt.sp.jedit.EditPlugin
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
CTAGS_MODE_OPTIONS |
static java.lang.String |
NAME |
static java.lang.String |
OPTION_PREFIX |
Constructor and Description |
---|
Plugin() |
Modifier and Type | Method and Description |
---|---|
void |
start() |
void |
stop() |
public static final java.lang.String NAME
public static final java.lang.String OPTION_PREFIX
public static final java.lang.String CTAGS_MODE_OPTIONS