mirror of
https://github.com/gryf/wmaker.git
synced 2026-02-18 23:45:47 +01:00
GNOME mouseclickproxy thing fix
added WorkspaceNameDisplayPosition balloon updates bug fixes
This commit is contained in:
@@ -349,6 +349,9 @@ destroyView(W_View *view)
|
||||
return;
|
||||
view->flags.alreadyDead = 1;
|
||||
|
||||
/* delete the balloon text for the view, if there's any */
|
||||
WMSetBalloonTextForView(NULL, view);
|
||||
|
||||
if (view->nextFocusChain)
|
||||
view->nextFocusChain->prevFocusChain = view->prevFocusChain;
|
||||
if (view->prevFocusChain)
|
||||
|
||||
Reference in New Issue
Block a user