diff --git a/platform/platform-api/src/com/intellij/openapi/editor/event/EditorFactoryEvent.java b/platform/platform-api/src/com/intellij/openapi/editor/event/EditorFactoryEvent.java index 52a1cfcd02c2..c5d06eca1929 100644 --- a/platform/platform-api/src/com/intellij/openapi/editor/event/EditorFactoryEvent.java +++ b/platform/platform-api/src/com/intellij/openapi/editor/event/EditorFactoryEvent.java @@ -17,21 +17,24 @@ package com.intellij.openapi.editor.event; import com.intellij.openapi.editor.Editor; import com.intellij.openapi.editor.EditorFactory; +import org.jetbrains.annotations.NotNull; import java.util.EventObject; public class EditorFactoryEvent extends EventObject { private final Editor myEditor; - public EditorFactoryEvent(EditorFactory editorFactory, Editor editor) { + public EditorFactoryEvent(@NotNull EditorFactory editorFactory, @NotNull Editor editor) { super(editorFactory); myEditor = editor; } + @NotNull public EditorFactory getFactory(){ return (EditorFactory) getSource(); } + @NotNull public Editor getEditor() { return myEditor; }