org.gjt.sp.jedit.menu
Class MarkersProvider
java.lang.Object
org.gjt.sp.jedit.menu.MarkersProvider
- All Implemented Interfaces:
- DynamicMenuProvider
- public class MarkersProvider
- extends Object
- implements DynamicMenuProvider
Method Summary |
void |
update(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 |
MarkersProvider
public MarkersProvider()
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
DynamicMenuChanged
message.
- Specified by:
updateEveryTime
in interface DynamicMenuProvider
update
public void update(JMenu menu)
- Description copied from interface:
DynamicMenuProvider
- Adds the menu items to the given menu.
- Specified by:
update
in interface DynamicMenuProvider
- Parameters:
menu
- The menu