MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-02-04 23:39:07 +07:00
Code Issues Packages Projects Releases Wiki Activity

IJPL-155823 Impossible to move tool window from bottom to top position by drag-and-drop

Browse Source 
GitOrigin-RevId: 7999b778f15c04324005c6fa45809d57a837a309
This commit is contained in:
Alexander Lobas
2024-06-18 18:32:54 +02:00
committed by intellij-monorepo-bot
parent d04822fdb6
commit 21a73e146b
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
platform/platform-impl/src/com/intellij/toolWindow/ToolWindowToolbar.kt
View File

@@ -183,7 +183,7 @@ abstract class ToolWindowToolbar(private val isPrimary: Boolean, val anchor: Too
}
if (anchor == ToolWindowAnchor.BOTTOM) {
val rootBounds = Rectangle(rootPane.locationOnScreen, rootPane.size)
val toolWindowHeight = max(getFirstVisibleToolWindowSize(false), toolBar.height)
val toolWindowHeight = max(getFirstVisibleToolWindowSize(false), height + JBUI.scale(40))
val bounds = Rectangle(rootBounds.x, rootBounds.y + rootBounds.height - toolWindowHeight - getStatusBarHeight(),
rootBounds.width / 2, toolWindowHeight)
if (split) {