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.WidgetPresentationDisposable.ParentBulkAwareDocumentListener.SimpleFileEditorManagerListener.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_PROPERTYARRAY_FACTORY, EMPTY_ARRAYFILE_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, isOurEditorclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitgetPresentationdisposegetMaxPossibleTextbeforeDocumentChange, beforeDocumentChangeNonBulk, bulkUpdateFinished, bulkUpdateStarting, documentChangedNonBulkbeforeDocumentChange, documentChangedfileClosed, fileOpened, fileOpenedSyncpublic 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 FileEditorManagerListenerpublic java.lang.String ID()
ID in interface StatusBarWidgetpublic StatusBarWidget copy()
copy in interface StatusBarWidget.Multiframepublic StatusBarWidget.WidgetPresentation getPresentation()
getPresentation in interface StatusBarWidgetpublic java.lang.String getText()
getText in interface StatusBarWidget.TextPresentationpublic float getAlignment()
getAlignment in interface StatusBarWidget.TextPresentationpublic java.lang.String getTooltipText()
getTooltipText in interface StatusBarWidget.WidgetPresentationpublic java.lang.String getShortcutText()
getShortcutText in interface StatusBarWidget.WidgetPresentationpublic Consumer<java.awt.event.MouseEvent> getClickConsumer()
getClickConsumer in interface StatusBarWidget.WidgetPresentationpublic void install(StatusBar statusBar)
install in interface StatusBarWidgetinstall in class EditorBasedWidgetpublic void selectionChanged(SelectionEvent e)
SelectionListenerselectionChanged in interface SelectionListenere - 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 CaretListenere - the event containing information about the caret movement.public void caretAdded(CaretEvent e)
CaretListenercaretAdded in interface CaretListenerpublic void caretRemoved(CaretEvent e)
CaretListenercaretRemoved in interface CaretListenerpublic void afterDocumentChange(Document document)
afterDocumentChange in interface BulkAwareDocumentListener.Simplepublic void propertyChange(java.beans.PropertyChangeEvent e)
propertyChange in interface java.beans.PropertyChangeListener