public interface EditorListener
extends java.util.EventListener
EditorListener
interface should be implemented by clients that are interested in receiving notifications about Editor
instances being opened, activated, deactivated, or closed in the IDE.
This allows clients to attach to or detach from the given Editor for the purpose of providing extra functionality. For example, the debugger may use this for determining when a Code Editor is opened so that it can display the breakpoint icon locations properly.
Clients should register listeners with the EditorManager singleton instance. When an editor is opened, the editorOpened()
method will be called. When an editor is about to be closed, the editorClosed()
method will be called.
Editor
, EditorManager
Modifier and Type | Method and Description |
---|---|
void |
editorActivated(Editor editor)
Notify listeners that an existing Editor has been activated.
|
void |
editorClosed(Editor editor)
Notify listeners that an existing Editor is being closed.
|
void |
editorDeactivated(Editor editor)
Notify listeners that an existing Editor listener is de-activated.
|
void |
editorOpened(Editor editor)
Notify listeners that a new Editor has been opened.
|
void editorOpened(Editor editor)
open()
method called.editor
- the editor instance that was openedvoid editorActivated(Editor editor)
activate()
method called.editor
- the editor instance that was activatedvoid editorDeactivated(Editor editor)
deactivate()
method called.editor
- the editor instance that was deactivatedvoid editorClosed(Editor editor)
close()
method is called.editor
- the editor instance that was closed