DirectoryProvider
, FavoritesProvider
, MacrosProvider
, MarkersProvider
, PluginsProvider
, RecentDirectoriesProvider
, RecentFilesProvider
, ReloadWithEncodingProvider
public interface DynamicMenuProvider
See EditPlugin
for properties you need to define to
have your plugin provide a dynamic menu.
Modifier and Type | Method | Description |
---|---|---|
void |
update(javax.swing.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.
|
boolean updateEveryTime()
DynamicMenuChanged
message.void update(javax.swing.JMenu menu)
menu
- The menu