diff options
Diffstat (limited to 'x11-wm/windowmaker/files/patch-src::workspace.c')
| -rw-r--r-- | x11-wm/windowmaker/files/patch-src::workspace.c | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/x11-wm/windowmaker/files/patch-src::workspace.c b/x11-wm/windowmaker/files/patch-src::workspace.c new file mode 100644 index 000000000000..3aba4c7baaf3 --- /dev/null +++ b/x11-wm/windowmaker/files/patch-src::workspace.c @@ -0,0 +1,19 @@ +--- src/workspace.c.orig Tue Jan 8 22:45:33 2002 ++++ src/workspace.c Thu Jan 22 01:47:49 2004 +@@ -574,10 +574,12 @@ wWorkspaceForceChange(WScreen *scr, int + &foo, &foo, &foo, &foo, &mask)) { + tmp = wWindowFor(win); + } +- if (!tmp && wPreferences.focus_mode == WKF_SLOPPY) { +- wSetFocusTo(scr, foc); +- } else { +- wSetFocusTo(scr, tmp); ++ if (!tmp) { ++ if (wPreferences.focus_mode == WKF_SLOPPY) { ++ wSetFocusTo(scr, foc); ++ } else { ++ wSetFocusTo(scr, tmp); ++ } + } + } + } |