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
- Author:
- Matthieu Casanova
-
Method Summary
Modifier and TypeMethodDescriptionReturns the component that will be inserted in the status barvoid
a callback telling that the properties have been changed, the widget can update itself if neededvoid
update()
A refresh is asked to the widget
-
Method Details
-
getComponent
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
-