Module jEdit

Package org.gjt.sp.jedit.gui.statusbar

Class LastModifiedWidgetFactory.LastModifiedWidget

java.lang.Object

org.gjt.sp.jedit.gui.statusbar.LastModifiedWidgetFactory.LastModifiedWidget

All Implemented Interfaces:

Widget

Enclosing class:

LastModifiedWidgetFactory

public static class LastModifiedWidgetFactory.LastModifiedWidget
extends Object
implements Widget

Method Summary

Modifier and Type	Method	Description
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 Details

getComponent

public JComponent getComponent()

Description copied from interface: Widget

Returns the component that will be inserted in the status bar

Specified by:

getComponent in interface Widget

Returns:

a JComponent

update

public void update()

Description copied from interface: Widget

A refresh is asked to the widget

Specified by:

update in interface Widget

propertiesChanged

public void propertiesChanged()

Description copied from interface: Widget

a callback telling that the properties have been changed, the widget can update itself if needed

Specified by:

propertiesChanged in interface Widget

handleMessage

public void handleMessage(EditPaneUpdate message)

handleMessage

public void handleMessage(BufferUpdate message)