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

Fix race condition during workspace changes

When changing workspaces, after focusing new window, wmaker handles all
pending events.  If it receives another change-workspace combination,
you may end up with a workspace without any focused window.

Ctrf-F1 and Ctrl-F2 used to switch to 1st and 2nd workspaces.
Hold Ctrl and press F1 and F2 almost at the same time.

This patch ignores all change-workspace commands while workspace
change is in progress.

See also https://bugzilla.altlinux.org/show_bug.cgi?id=7230

[crmafra: Thanks to Alexey I. Froloff for the above explanation]
This commit is contained in:
Alexey I. Froloff
2009-03-29 04:14:36 +04:00
committed by Carlos R. Mafra
parent 306165775e
commit 5979162878

View File

@@ -439,7 +439,7 @@ static void showWorkspaceName(WScreen * scr, int workspace)
void wWorkspaceChange(WScreen *scr, int workspace)
{
if (scr->flags.startup || scr->flags.startup2)
if (scr->flags.startup || scr->flags.startup2 || scr->flags.ignore_focus_events)
return;
if (workspace != scr->current_workspace)