diff --git a/plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalOptionsProvider.kt b/plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalOptionsProvider.kt index d2085fe10874..f1a5d5d02c4b 100644 --- a/plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalOptionsProvider.kt +++ b/plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalOptionsProvider.kt @@ -7,6 +7,7 @@ import com.intellij.openapi.components.ServiceManager import com.intellij.openapi.components.State import com.intellij.openapi.components.Storage import com.intellij.util.xmlb.annotations.Property +import org.jetbrains.annotations.ApiStatus @State(name = "TerminalOptionsProvider", storages = [(Storage("terminal.xml"))]) class TerminalOptionsProvider : PersistentStateComponent { @@ -55,6 +56,7 @@ class TerminalOptionsProvider : PersistentStateComponent