diff options
author | 2008-04-24 07:51:29 +0000 | |
---|---|---|
committer | 2008-04-24 07:51:29 +0000 | |
commit | 2a7589e7099cf60d12129b58503150b1712ca599 (patch) | |
tree | 42c2e81300e8972d536d3a6cee4190cd670c7400 /x11-misc/netwmpager/files | |
parent | Version bump; clean up ebuild. (bug #214313) (diff) | |
download | gentoo-2-2a7589e7099cf60d12129b58503150b1712ca599.tar.gz gentoo-2-2a7589e7099cf60d12129b58503150b1712ca599.tar.bz2 gentoo-2-2a7589e7099cf60d12129b58503150b1712ca599.zip |
Fix incorrect desktop switching; patch by Tobias Klausmann (bug #216012)
(Portage version: 2.1.5_rc3)
Diffstat (limited to 'x11-misc/netwmpager/files')
-rw-r--r-- | x11-misc/netwmpager/files/netwmpager-1.11-desktop-switch.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/x11-misc/netwmpager/files/netwmpager-1.11-desktop-switch.patch b/x11-misc/netwmpager/files/netwmpager-1.11-desktop-switch.patch new file mode 100644 index 000000000000..bc4abda5a0ea --- /dev/null +++ b/x11-misc/netwmpager/files/netwmpager-1.11-desktop-switch.patch @@ -0,0 +1,10 @@ +--- pager.c 2006-04-15 21:14:55.000000000 +0200 ++++ pager.c 2008-04-02 18:10:43.000000000 +0200 +@@ -1137,6 +1137,7 @@ + if (pager->mouse.window_idx == -1) { + x_set_current_desktop(desk); + } else if (!pager->mouse.dragging) { ++ x_set_current_desktop(desk); + x_set_active_window(pager->windows[pager->mouse.window_idx].window, SOURCE_INDICATION_PAGER); + } + } else if (button == 2) { |