Version: (using Devel) Installed from: Compiled sources OS: Linux I have set up ctrl+alt+left/right keys to switch desktops, and a separate pager widget on my desktop. whenever I use the key combination to switch desktops, the previously active desktop is still highlighted in the pager view. If i switch again, I now have three highlighted desktops. As soon as I hover over the pager widget on the desktop, it updates, but it makes it impossible to just have a look at the pager widget to identify the current desktop, as unless I actually hover over it with my mouse, it doesn't "un-highlight" the previously active desktop. This might be related to bug 156004...
Additional info - this only happens when my mouse is on the second screen (I have a dual-screen setup). If my mouse is on the first screen, it works as expected.
there's another pretty similar problem happening here: when I move a window across the desktop border (active window borders are activated) the pager doesn't get updated so the window is shown twice (where it was before and after the move). If I hover the desktop in the pager it get's refreshed. Happens on a compiled trunk from yesterday.
bernhard: I see that too, sometimes; maybe it should be reported in a separate BR...? I can reproduce the original problem here, with one monitor, but it very rarely happens.
both problems don't happen anymore in svn