MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

[split] fix GTW-4134 [Duplicated headers of windows]

Browse Source 
When this property is used - headers are added as a part of dialog and are send through lux as a part of ui elements which leads to double headers. To avoid this behavior headers are disabled on backend part

GitOrigin-RevId: a1ceebc248d1a7779182439c074d5a9e6525f8a5
This commit is contained in:
Alisa.Afonina
2024-07-08 17:21:31 +00:00
committed by intellij-monorepo-bot
parent a4e89fb0c3
commit 303c01c1af
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/wm/impl/IdeFrameDecorator.kt
+2 -1
View File
@@ -3,6 +3,7 @@ package com.intellij.openapi.wm.impl
import com.intellij.diagnostic.LoadingState
import com.intellij.ide.ui.UISettings
import com.intellij.idea.AppMode
import com.intellij.openapi.application.EDT
import com.intellij.openapi.application.impl.RawSwingDispatcher
import com.intellij.openapi.diagnostic.Logger
@@ -212,6 +213,6 @@ private class WLFrameDecorator(frame: IdeFrameImpl) : IdeFrameDecorator(frame) {
internal const val MERGE_MAIN_MENU_WITH_WINDOW_TITLE_PROPERTY: String = "ide.win.frame.decoration"
private val mergeMainMenuWithWindowTitleOverrideValue: Boolean? = System.getProperty(MERGE_MAIN_MENU_WITH_WINDOW_TITLE_PROPERTY)?.toBoolean()
private val mergeMainMenuWithWindowTitleOverrideValue: Boolean? = if (AppMode.isRemoteDevHost()) false else System.getProperty(MERGE_MAIN_MENU_WITH_WINDOW_TITLE_PROPERTY)?.toBoolean()
internal val isMergeMainMenuWithWindowTitleOverridden: Boolean
get() = mergeMainMenuWithWindowTitleOverrideValue != null