org.gjt.sp.jedit.menu
Interface DynamicMenuProvider

All Known Implementing Classes:

DirectoryProvider, FavoritesProvider, MacrosProvider, MarkersProvider, PluginsProvider, RecentDirectoriesProvider, RecentFilesProvider

public interface DynamicMenuProvider

Interface for a menu whose contents are determined at runtime.

See EditPlugin for properties you need to define to have your plugin provide a dynamic menu.

Since:

jEdit 4.2pre2

Version:

$Id: DynamicMenuProvider.java,v 1.2 2003/05/02 23:14:17 spestov Exp $

Author:

Slava Pestov

Method Summary

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.

Method Detail

updateEveryTime

public 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 a DynamicMenuChanged message.

update

public void update(javax.swing.JMenu menu)

Adds the menu items to the given menu.

Parameters:

menu - The menu