From bf474e565f950a6fb7c44c099f41ebebc5c75917 Mon Sep 17 00:00:00 2001 From: Sergey Simonchik Date: Wed, 29 Jul 2020 13:08:05 +0300 Subject: [PATCH] terminal: import shell path from 2020.1 application-wide settings (IDEA-246827) GitOrigin-RevId: b273a928b448d17c73c74dd09930484f850d50c5 --- .../plugins/terminal/TerminalOptionsProvider.kt | 9 +++++++++ .../plugins/terminal/TerminalProjectOptionsProvider.kt | 2 ++ 2 files changed, 11 insertions(+) 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