diff options
Diffstat (limited to 'x11/brightside/files/patch-src_brightside.c')
| -rw-r--r-- | x11/brightside/files/patch-src_brightside.c | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/x11/brightside/files/patch-src_brightside.c b/x11/brightside/files/patch-src_brightside.c deleted file mode 100644 index f122d8f73937..000000000000 --- a/x11/brightside/files/patch-src_brightside.c +++ /dev/null @@ -1,20 +0,0 @@ ---- src/brightside.c.orig Sun Mar 13 19:44:54 2005 -+++ src/brightside.c Sun Mar 13 19:47:26 2005 -@@ -1253,7 +1253,7 @@ - - new_workspace = wnck_screen_get_workspace (brightside->screen, new_index); - if (new_workspace) { -- wnck_workspace_activate (new_workspace); -+ wnck_workspace_activate (new_workspace, event->time); - pager_show (brightside, new_workspace, n_rows, TRUE); - } - -@@ -1540,7 +1540,7 @@ - - new_workspace = wnck_screen_get_workspace ( - brightside->screen, new_space); -- wnck_workspace_activate (new_workspace); -+ wnck_workspace_activate (new_workspace, gtk_get_current_event_time()); - - pager_show (brightside, new_workspace, rows, FALSE); - |