LastModifiedWidgetFactory.LastModifiedWidget
, SelectionLengthWidgetFactory.SelectionLengthWidget
public interface Widget
Modifier and Type | Method | Description |
---|---|---|
javax.swing.JComponent |
getComponent() |
Returns the component that will be inserted in the status bar
|
void |
propertiesChanged() |
a callback telling that the properties have been changed, the widget
can update itself if needed
|
void |
update() |
A refresh is asked to the widget
|
javax.swing.JComponent getComponent()
void propertiesChanged()
void update()