public class CommandoCommand
extends org.gjt.sp.jedit.EditAction
Modifier and Type | Method and Description |
---|---|
static CommandoCommand |
create(java.lang.String path) |
static CommandoCommand |
create(java.net.URL url) |
java.lang.String |
getCode() |
java.lang.String |
getPropertyPrefix() |
java.lang.String |
getShortLabel() |
void |
invoke(org.gjt.sp.jedit.View view) |
boolean |
isOverriding() |
boolean |
isUser() |
protected java.io.Reader |
openStream() |
getLabel, getMouseOverText, isSelected, isToggle, noRecord, noRememberLast, noRepeat
public boolean isUser()
public boolean isOverriding()
public static CommandoCommand create(java.net.URL url)
public static CommandoCommand create(java.lang.String path)
public java.lang.String getShortLabel()
public java.lang.String getPropertyPrefix()
public void invoke(org.gjt.sp.jedit.View view)
invoke
in class org.gjt.sp.jedit.EditAction
public java.lang.String getCode()
getCode
in class org.gjt.sp.jedit.EditAction
protected java.io.Reader openStream() throws java.io.IOException
java.io.IOException