Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> gjt >> sp >> jedit >> [ menu overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

org.gjt.sp.jedit.menu
Class MarkersProvider  

java.lang.Object
  org.gjt.sp.jedit.menu.MarkersProvider

All Implemented Interfaces:

DynamicMenuProvider

---

public class MarkersProvider

extends java.lang.Object

implements DynamicMenuProvider

---

Nested Class Summary
(package private) static class	MarkersProvider.MarkersMenuItem

 

Constructor Summary

MarkersProvider()

 

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.

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 

Constructor Detail

MarkersProvider

public MarkersProvider()

Method Detail

updateEveryTime

public boolean updateEveryTime()

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

Specified by:

updateEveryTime in interface DynamicMenuProvider

---

update

public void update(javax.swing.JMenu menu)

Description copied from interface: DynamicMenuProvider

Adds the menu items to the given menu.

Specified by:

update in interface DynamicMenuProvider

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> gjt >> sp >> jedit >> [ menu overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---