Module jEdit

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

Class SelectionLengthWidgetFactory.SelectionLengthWidget

java.lang.Object

org.gjt.sp.jedit.gui.statusbar.SelectionLengthWidgetFactory.SelectionLengthWidget

All Implemented Interfaces:

Widget

Enclosing class:

SelectionLengthWidgetFactory

public static class SelectionLengthWidgetFactory.SelectionLengthWidget
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	handleViewUpdate(ViewUpdate viewUpdate)
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

Methods inherited from interface org.gjt.sp.jedit.gui.statusbar.Widget

propertiesChanged

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

handleViewUpdate

public void handleViewUpdate(ViewUpdate viewUpdate)