console

Class ConsoleMenuProvider

java.lang.Object

console.ConsoleMenuProvider

All Implemented Interfaces:

org.gjt.sp.jedit.menu.DynamicMenuProvider

public class ConsoleMenuProvider
extends java.lang.Object
implements org.gjt.sp.jedit.menu.DynamicMenuProvider

Constructor Summary

Constructors

Constructor and Description
ConsoleMenuProvider()

Method Summary

Methods

Modifier and Type	Method and Description
void	update(javax.swing.JMenu superMenu)
boolean	updateEveryTime()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConsoleMenuProvider

public ConsoleMenuProvider()

Method Detail

updateEveryTime

public boolean updateEveryTime()

Specified by:

updateEveryTime in interface org.gjt.sp.jedit.menu.DynamicMenuProvider

update

public void update(javax.swing.JMenu superMenu)

Specified by:

update in interface org.gjt.sp.jedit.menu.DynamicMenuProvider