|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.gjt.sp.jedit.gui.statusbar.LastModifiedWidgetFactory.LastModifiedWidget
public static class LastModifiedWidgetFactory.LastModifiedWidget
Method Summary | |
---|---|
javax.swing.JComponent |
getComponent()
Returns the component that will be inserted in the status bar |
void |
handleMessage(BufferUpdate message)
|
void |
handleMessage(EditPaneUpdate message)
|
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 |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public javax.swing.JComponent getComponent()
Widget
getComponent
in interface Widget
public void update()
Widget
update
in interface Widget
public void propertiesChanged()
Widget
propertiesChanged
in interface Widget
public void handleMessage(EditPaneUpdate message)
public void handleMessage(BufferUpdate message)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |