Comment 0 for bug 752836

Revision history for this message
Andrea Cimitan (cimi) wrote :

when restacking windows, the callback to the configure event checks for the position of the mouse in order to colorize the pager, but if the pointer is in the right area (like with alt-tab, so not resizing with the window decorations), the pager may remain active.