diff --git a/platform/platform-api/src/com/intellij/openapi/fileEditor/FileDocumentManagerListener.java b/platform/platform-api/src/com/intellij/openapi/fileEditor/FileDocumentManagerListener.java index 39b746454972..7a22e4838d83 100644 --- a/platform/platform-api/src/com/intellij/openapi/fileEditor/FileDocumentManagerListener.java +++ b/platform/platform-api/src/com/intellij/openapi/fileEditor/FileDocumentManagerListener.java @@ -1,6 +1,7 @@ -// Copyright 2000-2018 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file. +// Copyright 2000-2019 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file. package com.intellij.openapi.fileEditor; +import com.intellij.AppTopics; import com.intellij.openapi.editor.Document; import com.intellij.openapi.extensions.ExtensionPointName; import com.intellij.openapi.vfs.VirtualFile; @@ -8,6 +9,9 @@ import org.jetbrains.annotations.NotNull; import java.util.EventListener; +/** + * @see AppTopics#FILE_DOCUMENT_SYNC + */ public interface FileDocumentManagerListener extends EventListener { /**