projectviewer
Class PVMenuProvider

java.lang.Object
  extended byprojectviewer.PVMenuProvider
All Implemented Interfaces:
java.awt.event.ActionListener, org.gjt.sp.jedit.menu.DynamicMenuProvider, java.util.EventListener

public final class PVMenuProvider
extends java.lang.Object
implements org.gjt.sp.jedit.menu.DynamicMenuProvider, java.awt.event.ActionListener

Dynamic menu implementation for jEdit 4.2. This shows a menu with all the projects in jEdit's plugin menu, allowing the user to change the active project without having to go to the PV dockable. Since jEdit doesn't allow dynamic sub-menus, this has to take care of the static entries also.

Version:
$Id: PVMenuProvider.java 6334 2005-02-10 06:33:28Z vanza $
Author:
Marcelo Vanzin

Constructor Summary
PVMenuProvider()
          Makes sure ProjectManager is initialized.
 
Method Summary
 void actionPerformed(java.awt.event.ActionEvent ae)
           
 void update(javax.swing.JMenu menu)
           
 boolean updateEveryTime()
          We don't want to update every time; returns false.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PVMenuProvider

public PVMenuProvider()
Makes sure ProjectManager is initialized.

Method Detail

update

public void update(javax.swing.JMenu menu)
Specified by:
update in interface org.gjt.sp.jedit.menu.DynamicMenuProvider

updateEveryTime

public boolean updateEveryTime()
We don't want to update every time; returns false.

Specified by:
updateEveryTime in interface org.gjt.sp.jedit.menu.DynamicMenuProvider

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent ae)
Specified by:
actionPerformed in interface java.awt.event.ActionListener