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, noRepeatpublic 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.EditActionpublic java.lang.String getCode()
getCode in class org.gjt.sp.jedit.EditActionprotected java.io.Reader openStream()
throws java.io.IOException
java.io.IOException