Module jEdit
Package org.gjt.sp.jedit.menu

Interface DynamicMenuProvider

All Known Implementing Classes:
DirectoryProvider, FavoritesProvider, MacrosProvider, MarkersProvider, PluginsProvider, RecentDirectoriesProvider, RecentFilesProvider, ReloadWithEncodingProvider
public interface DynamicMenuProvider
Interface for a pull-down 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 21831 2012-06-18 22:54:17Z ezust $
Author:
Slava Pestov

  • Method Summary

    Modifier and Type
    Method
    Description
    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.

  • Method Details

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

    • update

      void update(JMenu menu)
      Adds the menu items to the given menu.
      Parameters:
      menu - The menu