Module jEdit

Package org.gjt.sp.jedit.menu

Class EnhancedMenu.EditBusStub

java.lang.Object

org.gjt.sp.jedit.menu.EnhancedMenu.EditBusStub

Enclosing class:

EnhancedMenu

public static class EnhancedMenu.EditBusStub
extends Object

Method Summary

Modifier and Type	Method	Description
void	handleDynamicMenuChanged(DynamicMenuChanged msg)
void	handlePropertiesChanged(PropertiesChanged msg)

Methods inherited from class java.lang.Object

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

Method Details

handleDynamicMenuChanged

public void handleDynamicMenuChanged(DynamicMenuChanged msg)

handlePropertiesChanged

public void handlePropertiesChanged(PropertiesChanged msg)