fixed documentation for banish

banish actually warps to the specified corner of the current window, not
the screen.
This commit is contained in:
Norbert Zeh 2008-12-12 19:18:19 +00:00
parent 52379a3736
commit fe253a602c

View File

@ -49,7 +49,7 @@ Note that warping to a particular screen may change the focus.
data Corner = UpperLeft | UpperRight | LowerLeft | LowerRight data Corner = UpperLeft | UpperRight | LowerLeft | LowerRight
{- | Move the mouse cursor to a corner of the screen. Useful for {- | Move the mouse cursor to a corner of the focused window. Useful for
uncluttering things. uncluttering things.
Internally, this uses numerical parameters. We parametrize on the 'Corner' Internally, this uses numerical parameters. We parametrize on the 'Corner'