public class SideKickMenuProvider
extends java.lang.Object
implements org.gjt.sp.jedit.menu.DynamicMenuProvider
| Constructor and Description |
|---|
SideKickMenuProvider() |
| Modifier and Type | Method and Description |
|---|---|
static org.gjt.sp.jedit.ActionSet |
getParserSwitchers() |
void |
update(javax.swing.JMenu superMenu) |
boolean |
updateEveryTime() |
public static org.gjt.sp.jedit.ActionSet getParserSwitchers()
public void update(javax.swing.JMenu superMenu)
update in interface org.gjt.sp.jedit.menu.DynamicMenuProviderpublic boolean updateEveryTime()
updateEveryTime in interface org.gjt.sp.jedit.menu.DynamicMenuProvider