java.lang.Object
org.gjt.sp.jedit.gui.statusbar.ErrorsWidgetFactory
- All Implemented Interfaces:
StatusWidgetFactory
This widget will show you in the status bar the last errors reported in jEdit.
- Since:
- jEdit 4.3pre15
- Author:
- Matthieu Casanova
-
Constructor Summary
-
Method Summary
-
Constructor Details
-
ErrorsWidgetFactory
public ErrorsWidgetFactory()
-
-
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
-