public final class FileEditorManagerEvent
extends java.util.EventObject
Constructor and Description |
---|
FileEditorManagerEvent(FileEditorManager source,
VirtualFile oldFile,
FileEditor oldEditor,
FileEditorProvider oldProvider,
VirtualFile newFile,
FileEditor newEditor,
FileEditorProvider newProvider) |
FileEditorManagerEvent(FileEditorManager source,
VirtualFile oldFile,
FileEditor oldEditor,
VirtualFile newFile,
FileEditor newEditor) |
Modifier and Type | Method and Description |
---|---|
FileEditorManager |
getManager() |
FileEditor |
getNewEditor() |
VirtualFile |
getNewFile() |
FileEditorProvider |
getNewProvider() |
FileEditor |
getOldEditor() |
VirtualFile |
getOldFile() |
FileEditorProvider |
getOldProvider() |
public FileEditorManagerEvent(FileEditorManager source, VirtualFile oldFile, FileEditor oldEditor, VirtualFile newFile, FileEditor newEditor)
public FileEditorManagerEvent(FileEditorManager source, VirtualFile oldFile, FileEditor oldEditor, FileEditorProvider oldProvider, VirtualFile newFile, FileEditor newEditor, FileEditorProvider newProvider)
public FileEditorManager getManager()
public VirtualFile getOldFile()
public VirtualFile getNewFile()
public FileEditor getOldEditor()
public FileEditor getNewEditor()
public FileEditorProvider getOldProvider()
public FileEditorProvider getNewProvider()