mirror of
https://github.com/AvengeMedia/DankMaterialShell.git
synced 2025-12-05 21:15:38 -05:00
bar: fix auto-hide not hiding after popout closes (#796)
This commit is contained in:
@@ -453,7 +453,8 @@ PanelWindow {
|
|||||||
const activeTrayMenu = TrayMenuManager.activeTrayMenus[screenName];
|
const activeTrayMenu = TrayMenuManager.activeTrayMenus[screenName];
|
||||||
const trayOpen = rootWindow.systemTrayMenuOpen;
|
const trayOpen = rootWindow.systemTrayMenuOpen;
|
||||||
|
|
||||||
topBarCore.hasActivePopout = !!(activePopout || activeTrayMenu || trayOpen);
|
const hasVisiblePopout = activePopout && activePopout.shouldBeVisible;
|
||||||
|
topBarCore.hasActivePopout = !!(hasVisiblePopout || activeTrayMenu || trayOpen);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
@@ -93,6 +93,7 @@ PanelWindow {
|
|||||||
|
|
||||||
function close() {
|
function close() {
|
||||||
shouldBeVisible = false
|
shouldBeVisible = false
|
||||||
|
PopoutManager.popoutChanged()
|
||||||
closeTimer.restart()
|
closeTimer.restart()
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user