JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method
org.gjt.sp.jedit.gui.statusbar
Interface StatusWidgetFactory
All Known Implementing Classes:
BufferSetWidgetFactory
,
ClockWidgetFactory
,
EncodingWidgetFactory
,
ErrorsWidgetFactory
,
FoldWidgetFactory
,
IndentWidgetFactory
,
LastModifiedWidgetFactory
,
LineSepWidgetFactory
,
MemoryStatusWidgetFactory
,
ModeWidgetFactory
,
MultiSelectWidgetFactory
,
OverwriteWidgetFactory
,
RectSelectWidgetFactory
,
SelectionLengthWidgetFactory
,
TaskMonitorWidgetFactory
,
WrapWidgetFactory
public interface
StatusWidgetFactory
A widget factory for the status bar. Implement this interface and register via services.xml to add another status bar widget.
Since:
jEdit 4.3pre14
Method Summary
All Methods
Instance Methods
Abstract Methods
Modifier and Type
Method and Description
Widget
getWidget
(
View
view)
returns an instance of Widget for the given view
Method Detail
getWidget
Widget
getWidget(
View
view)
returns an instance of Widget for the given view
Parameters:
view
- the view to which the created widget will belong
Returns:
a widget instance
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method