platform/platform-impl/src/com/intellij/application/options/editor/EditorTabsOptionsCustomSection.java


1
2
3
4
5
6
7
8
9
10

// Copyright 2000-2022 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license.
package com.intellij.application.options.editor;

import com.intellij.openapi.options.UnnamedConfigurable;

/**
 * A marker interface for custom editor tabs option sections
 */
public interface EditorTabsOptionsCustomSection extends UnnamedConfigurable {
}