mirror of
https://github.com/gryf/wmaker.git
synced 2025-12-19 12:28:22 +01:00
Clip, Dock and Drawers menu moved to appropriate global namespace
The clip, dock, workspaces and drawers menus are common for all workspaces, so they should be included in the global namespace instead of the screen struct.
This commit is contained in:
committed by
Carlos R. Mafra
parent
9c252988f8
commit
e86b8dcb2f
@@ -1204,12 +1204,12 @@ void wReadDefaults(WScreen * scr, WMPropList * new_dict)
|
||||
if (needs_refresh & REFRESH_WORKSPACE_MENU) {
|
||||
if (w_global.workspace.menu)
|
||||
wWorkspaceMenuUpdate(scr, w_global.workspace.menu);
|
||||
if (scr->clip_ws_menu)
|
||||
wWorkspaceMenuUpdate(scr, scr->clip_ws_menu);
|
||||
if (scr->workspace_submenu)
|
||||
scr->workspace_submenu->flags.realized = 0;
|
||||
if (scr->clip_submenu)
|
||||
scr->clip_submenu->flags.realized = 0;
|
||||
if (w_global.clip.ws_menu)
|
||||
wWorkspaceMenuUpdate(scr, w_global.clip.ws_menu);
|
||||
if (w_global.workspace.submenu)
|
||||
w_global.workspace.submenu->flags.realized = 0;
|
||||
if (w_global.clip.submenu)
|
||||
w_global.clip.submenu->flags.realized = 0;
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user