From fb29048e737c4abcaeed3431ee30302e773cf7ff Mon Sep 17 00:00:00 2001 From: Vladimir Krivosheev Date: Fri, 29 Dec 2017 12:57:19 +0100 Subject: [PATCH] =?UTF-8?q?fix=20WindowInfoManager=20default=20=E2=80=94?= =?UTF-8?q?=20enum=20name=20must=20be=20uppercase?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../openapi/wm/impl/WindowInfoImpl.kt | 4 ++-- .../src/idea/WindowManager.xml | 24 +++++++++---------- 2 files changed, 14 insertions(+), 14 deletions(-) diff --git a/platform/platform-impl/src/com/intellij/openapi/wm/impl/WindowInfoImpl.kt b/platform/platform-impl/src/com/intellij/openapi/wm/impl/WindowInfoImpl.kt index 7ff40a58da4c..d3bad9513d08 100644 --- a/platform/platform-impl/src/com/intellij/openapi/wm/impl/WindowInfoImpl.kt +++ b/platform/platform-impl/src/com/intellij/openapi/wm/impl/WindowInfoImpl.kt @@ -62,9 +62,9 @@ class WindowInfoImpl : Cloneable, WindowInfo, BaseState() { * tool window had when it was internal one. */ @get:Attribute("internal_type") - var internalType by property() + var internalType by property(ToolWindowType.DOCKED) - override var type: ToolWindowType by property(ToolWindowType.DOCKED) { it == ToolWindowType.DOCKED } + override var type by property(ToolWindowType.DOCKED) @get:Attribute("visible") var isVisible by property(false) diff --git a/platform/platform-resources/src/idea/WindowManager.xml b/platform/platform-resources/src/idea/WindowManager.xml index 70404156ede0..fe4652b4ba92 100644 --- a/platform/platform-resources/src/idea/WindowManager.xml +++ b/platform/platform-resources/src/idea/WindowManager.xml @@ -2,19 +2,19 @@ - - + + - - - - - - - + + + + + + + - - - + + +