brush popup: moving cursor out closes
authorAndrew Chadwick <andrewc-git@piffle.org>
Mon, 14 Jan 2013 14:16:19 +0000 (14:16 +0000)
committerAndrew Chadwick <andrewc-git@piffle.org>
Mon, 14 Jan 2013 14:16:19 +0000 (14:16 +0000)
commitf267bbaa2a5e1875d2dc29ff74b460b7520a1708
treec03fa56ea701bb918e4931987b78ccdbe9d81f02
parentd00fe94a063fd499cce221f85da466f43f9d1f16
brush popup: moving cursor out closes

Close the brush popup dialog (with a reject code) when the user moves the
pointer away from it. Use several pixels of slack around the edges to allow
the dialog to be resized under certain WMs and DEs, and to allow for
less-than-perfect moue coordination.

Bugfix: closing the window no longer destroys the dialog.

Minor stuff: add docs and comments.
gui/dialogs.py
gui/windowing.py