MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

FileDocumentManagerListener: add @see javadoc

Browse Source 
GitOrigin-RevId: 46b59bb6ef85e7324730924972b36f563205a35f
This commit is contained in:
Yann Cébron
2019-10-01 16:35:14 +00:00
committed by intellij-monorepo-bot
parent 906bed48fd
commit 324a09af11
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/openapi/fileEditor/FileDocumentManagerListener.java
+5 -1
View File
@@ -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 {
/**