Package org.gjt.sp.jedit.gui.statusbar
Interface Widget
-
- All Known Implementing Classes:
LastModifiedWidgetFactory.LastModifiedWidget
,SelectionLengthWidgetFactory.SelectionLengthWidget
public interface Widget
Status Bar Widget interface.- Since:
- jEdit 4.3pre14
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description javax.swing.JComponent
getComponent()
Returns the component that will be inserted in the status bardefault void
propertiesChanged()
a callback telling that the properties have been changed, the widget can update itself if neededdefault void
update()
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
-
-