Package 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
-
-
Constructor Summary
Constructors Constructor Description MarkersProvider()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description 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.
-
-
-
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 aDynamicMenuChanged
message.- Specified by:
updateEveryTime
in interfaceDynamicMenuProvider
-
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 interfaceDynamicMenuProvider
- Parameters:
menu
- The menu
-
-