| career | drupal | java | mac | mysql | perl | scala | uml | unix  

What this is

This file is included in the "Java Source Code Warehouse" project. The intent of this project is to help you "Learn Java by Example" TM.

Other links

The source code

 * - API for dynamic plugin menus
 * :tabSize=8:indentSize=8:noTabs=false:
 * :folding=explicit:collapseFolds=1:
 * Copyright (C) 2003 Slava Pestov
 * This program is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License
 * as published by the Free Software Foundation; either version 2
 * of the License, or any later version.
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * GNU General Public License for more details.
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.


import javax.swing.JMenu;

 * Interface for a menu whose contents are determined at runtime.

* * See {@link org.gjt.sp.jedit.EditPlugin} for properties you need to define to * have your plugin provide a dynamic menu. * * @since jEdit 4.2pre2 * @author Slava Pestov * @version $Id:,v 1.2 2003/05/02 23:14:17 spestov Exp $ */ public interface DynamicMenuProvider { /** * 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 {@link * org.gjt.sp.jedit.msg.DynamicMenuChanged} message. */ boolean updateEveryTime(); /** * Adds the menu items to the given menu. * @param menu The menu */ void update(JMenu menu); }

... this post is sponsored by my books ...

#1 New Release!

FP Best Seller


new blog posts


Copyright 1998-2021 Alvin Alexander,
All Rights Reserved.

A percentage of advertising revenue from
pages under the /java/jwarehouse URI on this website is
paid back to open source projects.