public class PositionPanel extends EditorBasedWidget implements StatusBarWidget.Multiframe, StatusBarWidget.TextPresentation, CaretListener, SelectionListener, BulkAwareDocumentListener.Simple, java.beans.PropertyChangeListener
StatusBarWidget.IconPresentation, StatusBarWidget.Multiframe, StatusBarWidget.MultipleTextValuesPresentation, StatusBarWidget.PlatformType, StatusBarWidget.TextPresentation, StatusBarWidget.WidgetBorder, StatusBarWidget.WidgetPresentation
Disposable.Parent
BulkAwareDocumentListener.Simple
FileEditorManagerListener.Before
Modifier and Type | Field and Description |
---|---|
static Key<java.lang.Object> |
DISABLE_FOR_EDITOR |
static java.lang.String |
SEPARATOR |
static java.lang.String |
SPACE |
myConnection, myProject, myStatusBar, SWING_FOCUS_OWNER_PROPERTY
ARRAY_FACTORY, EMPTY_ARRAY
FILE_EDITOR_MANAGER
Constructor and Description |
---|
PositionPanel(Project project) |
Modifier and Type | Method and Description |
---|---|
void |
afterDocumentChange(Document document) |
void |
caretAdded(CaretEvent e)
Called when a new caret was added to the document.
|
void |
caretPositionChanged(CaretEvent e)
Called when the caret position has changed.
|
void |
caretRemoved(CaretEvent e)
Called when a caret was removed from the document.
|
StatusBarWidget |
copy() |
float |
getAlignment() |
Consumer<java.awt.event.MouseEvent> |
getClickConsumer() |
StatusBarWidget.WidgetPresentation |
getPresentation() |
java.lang.String |
getShortcutText() |
java.lang.String |
getText() |
java.lang.String |
getTooltipText() |
java.lang.String |
ID() |
void |
install(StatusBar statusBar) |
void |
propertyChange(java.beans.PropertyChangeEvent e) |
void |
selectionChanged(FileEditorManagerEvent event) |
void |
selectionChanged(SelectionEvent e)
Called when the selected area in an editor is changed.
|
dispose, getEditor, getProject, getSelectedFile, isDisposed, isOurEditor
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getPresentation
dispose
getMaxPossibleText
beforeDocumentChange, beforeDocumentChangeNonBulk, bulkUpdateFinished, bulkUpdateStarting, documentChangedNonBulk
beforeDocumentChange, documentChanged
fileClosed, fileOpened, fileOpenedSync
public static final Key<java.lang.Object> DISABLE_FOR_EDITOR
public static final java.lang.String SPACE
public static final java.lang.String SEPARATOR
public PositionPanel(Project project)
public void selectionChanged(FileEditorManagerEvent event)
selectionChanged
in interface FileEditorManagerListener
public java.lang.String ID()
ID
in interface StatusBarWidget
public StatusBarWidget copy()
copy
in interface StatusBarWidget.Multiframe
public StatusBarWidget.WidgetPresentation getPresentation()
getPresentation
in interface StatusBarWidget
public java.lang.String getText()
getText
in interface StatusBarWidget.TextPresentation
public float getAlignment()
getAlignment
in interface StatusBarWidget.TextPresentation
public java.lang.String getTooltipText()
getTooltipText
in interface StatusBarWidget.WidgetPresentation
public java.lang.String getShortcutText()
getShortcutText
in interface StatusBarWidget.WidgetPresentation
public Consumer<java.awt.event.MouseEvent> getClickConsumer()
getClickConsumer
in interface StatusBarWidget.WidgetPresentation
public void install(StatusBar statusBar)
install
in interface StatusBarWidget
install
in class EditorBasedWidget
public void selectionChanged(SelectionEvent e)
SelectionListener
selectionChanged
in interface SelectionListener
e
- the event containing information about the change.public void caretPositionChanged(CaretEvent e)
CaretListener
Only explicit caret movements (caused by 'move' methods in Caret
and CaretModel
) are reported, 'induced' changes of
caret offset due to document modifications are not reported.
caretPositionChanged
in interface CaretListener
e
- the event containing information about the caret movement.public void caretAdded(CaretEvent e)
CaretListener
caretAdded
in interface CaretListener
public void caretRemoved(CaretEvent e)
CaretListener
caretRemoved
in interface CaretListener
public void afterDocumentChange(Document document)
afterDocumentChange
in interface BulkAwareDocumentListener.Simple
public void propertyChange(java.beans.PropertyChangeEvent e)
propertyChange
in interface java.beans.PropertyChangeListener