On Tue 15.Sep'09 at 18:09:37 +0200, Carlos R. Mafra wrote: > But right now I think that the number of patches which I missed for > some reason is very small, and it always take some time for me to > study why they are necessary when they are not accompanied by an > enlightening commit log (I am not a programmer, btw).
I just remembered that Alexey explained what one of his patches was all about some time ago, which I forgot to push. I did it now. --8<-- From: Alexey I. Froloff <[email protected]> Date: Sun Mar 29 04:14:36 2009 +0400 Subject: [PATCH] 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] --- src/workspace.c | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/workspace.c b/src/workspace.c index 718bb46..b45d169 100644 --- a/src/workspace.c +++ b/src/workspace.c @@ -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) -- 1.6.5.rc1 -- To unsubscribe, send mail to [email protected].
