diff options
Diffstat (limited to 'platform/platform-impl/src/com/intellij/application/options/editor/EditorTabsOptionsCustomSection.java')
| -rw-r--r-- | platform/platform-impl/src/com/intellij/application/options/editor/EditorTabsOptionsCustomSection.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/platform/platform-impl/src/com/intellij/application/options/editor/EditorTabsOptionsCustomSection.java b/platform/platform-impl/src/com/intellij/application/options/editor/EditorTabsOptionsCustomSection.java index 752800cb827d..1ae050d928e6 100644 --- a/platform/platform-impl/src/com/intellij/application/options/editor/EditorTabsOptionsCustomSection.java +++ b/platform/platform-impl/src/com/intellij/application/options/editor/EditorTabsOptionsCustomSection.java @@ -4,7 +4,9 @@ package com.intellij.application.options.editor; import com.intellij.openapi.options.UnnamedConfigurable; /** - * A marker interface for custom editor tabs option sections + * A marker interface for custom editor tabs option sections. + * + * @see EditorTabsConfigurableEP */ public interface EditorTabsOptionsCustomSection extends UnnamedConfigurable { } |