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
- Author:
- Matthieu Casanova
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description javax.swing.JComponentgetComponent()Returns the component that will be inserted in the status barvoidpropertiesChanged()a callback telling that the properties have been changed, the widget can update itself if neededvoidupdate()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
void propertiesChanged()
a callback telling that the properties have been changed, the widget can update itself if needed
-
update
void update()
A refresh is asked to the widget
-
-