- outdated

Changed files:
    gnome-panel-wnck_workspace_activate.patch -> 1.2

diff --git a/gnome-panel-wnck_workspace_activate.patch b/gnome-panel-wnck_workspace_activate.patch
deleted file mode 100644 (file)
index f047eb7..0000000
--- a/gnome-panel-wnck_workspace_activate.patch
+++ /dev/null
@@ -1,13 +0,0 @@
-diff -urN gnome-panel-2.9.91.orig/applets/wncklet/workspace-switcher.c gnome-panel-2.9.91/applets/wncklet/workspace-switcher.c
---- gnome-panel-2.9.91.orig/applets/wncklet/workspace-switcher.c       2005-02-28 22:34:58.000000000 +0100
-+++ gnome-panel-2.9.91/applets/wncklet/workspace-switcher.c    2005-02-28 22:42:27.750013336 +0100
-@@ -212,7 +212,8 @@
-               break;
-       }
- 
--      wnck_workspace_activate (wnck_screen_get_workspace (screen, index));
-+      wnck_workspace_activate (wnck_screen_get_workspace (screen, index),
-+                               event->time);
-       
-       return TRUE;
- }