projectviewer

Class PVMenuProvider

java.lang.Object

projectviewer.PVMenuProvider

All Implemented Interfaces:

java.awt.event.ActionListener, java.util.EventListener, org.gjt.sp.jedit.menu.DynamicMenuProvider

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.

Author:

Marcelo Vanzin

Constructor Summary

Constructors

Constructor and Description
PVMenuProvider() Makes sure ProjectManager is initialized.

Method Summary

Methods

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