Found a way to reproduce this bug. 1. Start with an unshaded window.
2. Click the Shade up-arrow control in the title bar; window manager shades the window. The Shade control turns into an Unshade down-arrow. 3. Move the pointer to the lower edge of the shaded window, which is still exposed beneath the title bar. 4. Double-click the lower edge. 5. Click the Unshade down-arrow control in the title bar. The Unshade control turns into a Shade up-arrow control, but the window appears to remain shaded. 6. Clicking the Shade/Unshade controls has no effect. But while the window is shaded, the lower edge of the window can be dragged down to expose the window contents. Normal behavior is restored at this point. One reasonable fix would seem to be to ignore double-click events on the window edges while the window is shaded. - Paul -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
