| --- 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) { |