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.DynamicMenuProvider
public boolean updateEveryTime()
updateEveryTime
in interface org.gjt.sp.jedit.menu.DynamicMenuProvider