java.lang.Object
org.gjt.sp.jedit.gui.statusbar.TaskMonitorWidgetFactory
- All Implemented Interfaces:
StatusWidgetFactory
A Statusbar widget that monitor the task manager.
- Since:
- jEdit 4.5pre1
- Author:
- Matthieu Casanova
-
Constructor Summary
-
Method Summary
-
Constructor Details
-
TaskMonitorWidgetFactory
public TaskMonitorWidgetFactory()
-
-
Method Details
-
getWidget
Description copied from interface:StatusWidgetFactory
returns an instance of Widget for the given view- Specified by:
getWidget
in interfaceStatusWidgetFactory
- Parameters:
view
- the view to which the created widget will belong- Returns:
- a widget instance
-