Package org.gjt.sp.jedit.gui.statusbar
Interface Widget
-
- All Known Implementing Classes:
LastModifiedWidgetFactory.LastModifiedWidget,SelectionLengthWidgetFactory.SelectionLengthWidget
public interface WidgetStatus Bar Widget interface.- Since:
- jEdit 4.3pre14
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description javax.swing.JComponentgetComponent()Returns the component that will be inserted in the status bardefault voidpropertiesChanged()a callback telling that the properties have been changed, the widget can update itself if neededdefault voidupdate()A refresh is asked to the widget
-
-
-
Method Detail
-
getComponent
javax.swing.JComponent getComponent()
Returns the component that will be inserted in the status bar- Returns:
- a JComponent
-
propertiesChanged
default void propertiesChanged()
a callback telling that the properties have been changed, the widget can update itself if needed
-
update
default void update()
A refresh is asked to the widget
-
-