From 47300f20db549d756cb20514a1eed78296bb20e2 Mon Sep 17 00:00:00 2001 From: Konstantin Bulenkov Date: Mon, 2 Apr 2018 17:00:50 +0200 Subject: [PATCH] IDEA-189377 Get tool window stripe buttons back --- platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.kt b/platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.kt index 0ff328ebab48..f6de22330d3e 100644 --- a/platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.kt +++ b/platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.kt @@ -54,7 +54,7 @@ class UISettings : BaseState(), PersistentStateComponent { @get:OptionTag("REUSE_NOT_MODIFIED_TABS") var reuseNotModifiedTabs by property(false) @get:OptionTag("ANIMATE_WINDOWS") var animateWindows by property(true) @get:OptionTag("SHOW_TOOL_WINDOW_NUMBERS") var showToolWindowsNumbers by property(true) - @get:OptionTag("HIDE_TOOL_STRIPES") var hideToolStripes by property(true) + @get:OptionTag("HIDE_TOOL_STRIPES") var hideToolStripes by property(false) @get:OptionTag("WIDESCREEN_SUPPORT") var wideScreenSupport by property(false) @get:OptionTag("LEFT_HORIZONTAL_SPLIT") var leftHorizontalSplit by property(false) @get:OptionTag("RIGHT_HORIZONTAL_SPLIT") var rightHorizontalSplit by property(false)