projectviewer
Class PVMenuProvider
java.lang.Object
projectviewer.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. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PVMenuProvider
public PVMenuProvider()
- Makes sure ProjectManager is initialized.
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