Module jEdit

Class TaskMonitorWidgetFactory

java.lang.Object
org.gjt.sp.jedit.gui.statusbar.TaskMonitorWidgetFactory
All Implemented Interfaces:
StatusWidgetFactory

public class TaskMonitorWidgetFactory extends Object implements StatusWidgetFactory
A Statusbar widget that monitor the task manager.
Since:
jEdit 4.5pre1
Author:
Matthieu Casanova
  • Constructor Details

    • TaskMonitorWidgetFactory

      public TaskMonitorWidgetFactory()
  • Method Details

    • getWidget

      public Widget getWidget(View view)
      Description copied from interface: StatusWidgetFactory
      returns an instance of Widget for the given view
      Specified by:
      getWidget in interface StatusWidgetFactory
      Parameters:
      view - the view to which the created widget will belong
      Returns:
      a widget instance