diff options
Diffstat (limited to 'x11-wm/windowmaker')
| -rw-r--r-- | x11-wm/windowmaker/files/patch-src::event.c | 11 | ||||
| -rw-r--r-- | x11-wm/windowmaker/files/patch-src::workspace.c | 19 |
2 files changed, 0 insertions, 30 deletions
diff --git a/x11-wm/windowmaker/files/patch-src::event.c b/x11-wm/windowmaker/files/patch-src::event.c deleted file mode 100644 index 9285d2a61f0..00000000000 --- a/x11-wm/windowmaker/files/patch-src::event.c +++ /dev/null @@ -1,11 +0,0 @@ ---- src/event.c.orig Tue Jan 8 22:45:13 2002 -+++ src/event.c Thu Jan 22 01:46:24 2004 -@@ -402,8 +402,6 @@ handleDeadProcess(void *foo) - static void - saveTimestamp(XEvent *event) - { -- LastTimestamp = CurrentTime; -- - switch (event->type) { - case ButtonRelease: - case ButtonPress: diff --git a/x11-wm/windowmaker/files/patch-src::workspace.c b/x11-wm/windowmaker/files/patch-src::workspace.c deleted file mode 100644 index 3aba4c7baaf..00000000000 --- a/x11-wm/windowmaker/files/patch-src::workspace.c +++ /dev/null @@ -1,19 +0,0 @@ ---- 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); -+ } - } - } - } |