aboutsummaryrefslogtreecommitdiffstats
path: root/FlexibleResize.hs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* ghc thinks I don't need those fromIntegralsl.mai2007-08-161-2/+2
| | | | darcs-hash:20070815231852-42ea9-e37192317322b96583eca4e9d59dfd487bd47b40.gz
* make FlexibleResize use new mouseDrag properly.David Roundy2007-08-071-6/+7
| | | | darcs-hash:20070807202016-72aca-4356463b45f6fc685db6a238728e284ecb6e17c1.gz
* flexible resizing for floating windowsl.mai2007-06-291-0/+63
The default resize handler for floating windows warps the mouse pointer to the bottom right corner of the window (fixing the opposite, upper left, corner). This extension lets you use any of the four window corners as grabbing points, allowing more flexible resizing. darcs-hash:20070629171038-42ea9-1a2b98ca2071dd5988e529b8395148b6a838ba9b.gz