flexible resizing for floating windows
flexible resizing for floating windows

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

yzhou61/xmonad-contrib,yzhou61/xmonad-contrib,yzhou61/xmonad-contrib