org.gjt.sp.jedit.gui.statusbar
Interface Widget


public interface Widget

Since:
jEdit 4.3pre14

Method Summary
 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
 

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