protected final void fireActiveEditorChanged() {
if (blockActiveEditorChangeEvents) {
return;
}
// TODO: Should the event contain the editor that WAS active?
Editor activeEditor = getActiveEditor();
if (activeEditor != lastActiveEditor) {
lastActiveEditor = activeEditor;
undoRedoHandler.activeEditorChanged(activeEditor);
EditorServiceEvent e = new EditorServiceEvent(this, activeEditor);
editorListeners.call().activeEditorChanged(e);