| Commit message (Collapse) | Author | Files | Lines |
|
darcs-hash:20070905193926-eb3a1-8fe38452c013fa023fa96f34dc3cebce6efb7c95.gz
|
|
for extensions
darcs-hash:20070905200128-bd4fb-ff90db3eb7ebce6ea75956f19ebc6c35d36c08d4.gz
|
|
darcs-hash:20070815231852-42ea9-e37192317322b96583eca4e9d59dfd487bd47b40.gz
|
|
darcs-hash:20070807202016-72aca-4356463b45f6fc685db6a238728e284ecb6e17c1.gz
|
|
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
|