Name
interactive-set-window-gravity! -- Permit user to click on an area of a window and anchor that nonant.
Synopsis
(interactive-set-window-gravity!)
Description
Permit user to click on an area of a window and anchor that nonant.
E.g., if the user clicks on the northeast corner of a window, that
window will be set to have northeast gravity so future resizes keep
that corner fixed.