| org.gjt.sp.jedit.menu.DynamicMenuProvider
All known Subclasses: org.gjt.sp.jedit.menu.RecentFilesProvider, org.gjt.sp.jedit.menu.ReloadWithEncodingProvider, org.gjt.sp.jedit.menu.MacrosProvider, org.gjt.sp.jedit.menu.FavoritesProvider, org.gjt.sp.jedit.menu.RecentDirectoriesProvider, org.gjt.sp.jedit.menu.PluginsProvider, org.gjt.sp.jedit.menu.DirectoryProvider, org.gjt.sp.jedit.menu.MarkersProvider, jars.MacOS.macos.menu.MacOSMenu,
| DynamicMenuProvider | | public interface DynamicMenuProvider (Code) | | Interface for a menu whose contents are determined at runtime.
See
org.gjt.sp.jedit.EditPlugin for properties you need to define to
have your plugin provide a dynamic menu.
since:
jEdit 4.2pre2
author:
Slava Pestov
version:
$Id: DynamicMenuProvider.java 4679 2003-05-02 23:14:17Z spestov $ |
| Method Summary | |
| void | update(JMenu menu)
Adds the menu items to the given menu. | | boolean | updateEveryTime()
Returns true if the menu should be updated each time it is shown. |
| update | | void update(JMenu menu)(Code) | | Adds the menu items to the given menu.
Parameters:
menu - The menu |
| updateEveryTime | | boolean updateEveryTime()(Code) | | Returns true if the menu should be updated each time it is shown.
Otherwise, it will only be updated when the menu is first created,
and if the menu receives a
org.gjt.sp.jedit.msg.DynamicMenuChanged message.
|
|
|