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