protected static final class EmacsAction.Tracker extends java.lang.Object implements javax.swing.event.CaretListener, EditorPlugin, java.awt.event.FocusListener
Modifier | Constructor and Description |
---|---|
protected |
EmacsAction.Tracker()
Construct a
Tracker instance. |
Modifier and Type | Method and Description |
---|---|
void |
caretUpdate(javax.swing.event.CaretEvent event)
Called when the caret position is updated.
|
void |
deinstall(BasicEditorPane editor)
Called when the plugin is being removed from the BasicEditorPane
(for example when the editor is closed.)
|
void |
focusGained(java.awt.event.FocusEvent event)
Invoked when a component gains the keyboard focus.
|
void |
focusLost(java.awt.event.FocusEvent e)
Invoked when a component loses the keyboard focus.
|
void |
install(BasicEditorPane editor)
Called when this plugin is being installed into the BasicEditorPane.
|
protected boolean |
matchesEditor(BasicEditorPane editor,
int offset)
Returns whether the passed in editor and offset matches
the editor and offset we are tracking
|
void |
propertyChange(java.beans.PropertyChangeEvent event)
This method gets called when a bound property is changed.
|
protected void |
trackEditor(BasicEditorPane editor)
Utility routine to start tracking the current editor so
that we can detect consecutive kills.
|
protected EmacsAction.Tracker()
Tracker
instance.protected boolean matchesEditor(BasicEditorPane editor, int offset)
editor
- the editor to checkoffset
- the offset to checkprotected void trackEditor(BasicEditorPane editor)
editor
- the new editor to trackpublic void install(BasicEditorPane editor)
install
in interface EditorPlugin
editor
- the editor panepublic void deinstall(BasicEditorPane editor)
deinstall
in interface EditorPlugin
editor
- the editor panepublic void propertyChange(java.beans.PropertyChangeEvent event)
propertyChange
in interface java.beans.PropertyChangeListener
event
- a PropertyChangeEvent object describing the event
source and the property that has changed.public void caretUpdate(javax.swing.event.CaretEvent event)
caretUpdate
in interface javax.swing.event.CaretListener
event
- the caret eventpublic void focusGained(java.awt.event.FocusEvent event)
focusGained
in interface java.awt.event.FocusListener
event
- the focus eventpublic void focusLost(java.awt.event.FocusEvent e)
focusLost
in interface java.awt.event.FocusListener
event
- the focus event