1
0
mirror of https://github.com/gryf/wmaker.git synced 2025-12-19 20:38:08 +01:00

wmaker: Moved variable Ignore Wks Change into the workspace object in the global namespace

Took the opportunity to change its type: it was an integer, but it is
actually holding a yes/no status, so it is now defined as a boolean.
This commit is contained in:
Christophe CURIS
2013-10-10 20:38:22 +02:00
committed by Carlos R. Mafra
parent b6423a7b4f
commit c3c2d8d7f1
4 changed files with 14 additions and 10 deletions

View File

@@ -494,6 +494,13 @@ extern struct wmaker_global_variables {
WMFont *font_for_name; /* used during workspace switch */
/*
* Ignore Workspace Change:
* this variable is used to prevent workspace switch while certain
* operations are ongoing.
*/
Bool ignore_change;
/* Menus */
struct WMenu *menu; /* workspace operation */
struct WMenu *submenu; /* workspace list for window_menu */