DynamicMenuProvider

Overview

Package

Class

Use

Deprecated

Index

Home >> All >> org >> gjt >> sp >> jedit >> [ menu overview ]

PREV CLASS NEXT CLASS

SUMMARY:

JAVADOC |

Sourc code of org.gjt.sp.jedit.menu.DynamicMenuProvider

SOURCE |

Download org.gjt.sp.jedit.menu.DynamicMenuProvider

DOWNLOAD | NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

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 org.gjt.sp.jedit.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 $

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 org.gjt.sp.jedit.msg.DynamicMenuChanged message.

update

public void update(javax.swing.JMenu menu)

Adds the menu items to the given menu.