Package org.gjt.sp.jedit.menu
Interface DynamicMenuProvider
-
- All Known Implementing Classes:
DirectoryProvider,FavoritesProvider,MacrosProvider,MarkersProvider,PluginsProvider,RecentDirectoriesProvider,RecentFilesProvider,ReloadWithEncodingProvider
public interface DynamicMenuProviderInterface for a pull-down menu whose contents are determined at runtime.See
EditPluginfor properties you need to define to have your plugin provide a dynamic menu.- Since:
- jEdit 4.2pre2
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidupdate(javax.swing.JMenu menu)Adds the menu items to the given menu.booleanupdateEveryTime()Returns true if the menu should be updated each time it is shown.
-
-
-
Method Detail
-
updateEveryTime
boolean updateEveryTime()
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 aDynamicMenuChangedmessage.
-
update
void update(javax.swing.JMenu menu)
Adds the menu items to the given menu.- Parameters:
menu- The menu
-
-