public interface FileEditorManagerListener
extends java.util.EventListener
FileEditorManager
events. All methods are invoked in EDT.Modifier and Type | Interface and Description |
---|---|
static interface |
FileEditorManagerListener.Before |
Modifier and Type | Field and Description |
---|---|
static Topic<FileEditorManagerListener> |
FILE_EDITOR_MANAGER |
Modifier and Type | Method and Description |
---|---|
default void |
fileClosed(FileEditorManager source,
VirtualFile file) |
default void |
fileOpened(FileEditorManager source,
VirtualFile file)
This method is after focus settles down (if requested) in newly created FileEditor.
|
default void |
fileOpenedSync(FileEditorManager source,
VirtualFile file,
Pair<FileEditor[],FileEditorProvider[]> editors)
This method is called synchronously (in the same EDT event), as the creation of FileEditor(s).
|
default void |
selectionChanged(FileEditorManagerEvent event) |
static final Topic<FileEditorManagerListener> FILE_EDITOR_MANAGER
default void fileOpenedSync(FileEditorManager source, VirtualFile file, Pair<FileEditor[],FileEditorProvider[]> editors)
default void fileOpened(FileEditorManager source, VirtualFile file)
fileOpenedSync(FileEditorManager, VirtualFile, Pair)
is always invoked before this method (in same or previous EDT event).default void fileClosed(FileEditorManager source, VirtualFile file)
default void selectionChanged(FileEditorManagerEvent event)