console
Class Shell.ShellAction

java.lang.Object
  extended by org.gjt.sp.jedit.EditAction
      extended by console.Shell.ShellAction
Direct Known Subclasses:
Shell.SwitchAction, Shell.ToggleAction
Enclosing class:
Shell

public abstract static class Shell.ShellAction
extends org.gjt.sp.jedit.EditAction

All ShellActions select a named Shell.

Since:
Console 4.3

Nested Class Summary
 
Nested classes/interfaces inherited from class org.gjt.sp.jedit.EditAction
org.gjt.sp.jedit.EditAction.Wrapper
 
Field Summary
protected  java.lang.String shellName
           
 
Fields inherited from class org.gjt.sp.jedit.EditAction
args
 
Method Summary
 void invoke(org.gjt.sp.jedit.View view)
           
 
Methods inherited from class org.gjt.sp.jedit.EditAction
getCode, getLabel, getMouseOverText, getName, getView, invoke, isSelected, isToggle, noRecord, noRememberLast, noRepeat, setName, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

shellName

protected java.lang.String shellName
Method Detail

invoke

public void invoke(org.gjt.sp.jedit.View view)
Specified by:
invoke in class org.gjt.sp.jedit.EditAction