Extended the bug fix from r145:dc91cfafb64c ...
... to all methods of closing windows
This commit is contained in:
parent
bd00181033
commit
35b28891f4
1 changed files with 12 additions and 3 deletions
|
@ -1187,9 +1187,18 @@ Manager_toggleDecor()
|
||||||
Manager_winSet("Style", "-0xC00000", aWndId)
|
Manager_winSet("Style", "-0xC00000", aWndId)
|
||||||
}
|
}
|
||||||
|
|
||||||
Manager_unmanage(wndId)
|
Manager_unmanage(wndId) {
|
||||||
{
|
Local a, aView, wndId0, wndIds
|
||||||
Local a
|
|
||||||
|
;; Find the next window that should have focus.
|
||||||
|
;; If there is no such window, choose the bar on the same monitor.
|
||||||
|
aView := Monitor_#%Manager_aMonitor%_aView_#1
|
||||||
|
wndIds := View_#%Manager_aMonitor%_#%aView%_wndIds
|
||||||
|
StringSplit, wndId, wndIds, `;
|
||||||
|
If (wndId0 < 3)
|
||||||
|
Manager_winActivate(0)
|
||||||
|
Else
|
||||||
|
View_activateWindow(1)
|
||||||
|
|
||||||
;; Do our best to make sure that any unmanaged windows are left visible.
|
;; Do our best to make sure that any unmanaged windows are left visible.
|
||||||
Manager_winShow(wndId)
|
Manager_winShow(wndId)
|
||||||
|
|
Loading…
Reference in a new issue