From 324a09af110857e1e8d38ea71fe26353622ec388 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Yann=20C=C3=A9bron?= Date: Tue, 1 Oct 2019 18:13:59 +0200 Subject: [PATCH] FileDocumentManagerListener: add @see javadoc GitOrigin-RevId: 46b59bb6ef85e7324730924972b36f563205a35f --- .../openapi/fileEditor/FileDocumentManagerListener.java | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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 { /**