Row layout with individually resizable elements.
- data ZoomRow f a
- zoomRow :: (Eq a, Show a, Read a) => ZoomRow ClassEQ a
- data ZoomMessage
- zoomIn :: ZoomMessage
- zoomOut :: ZoomMessage
- zoomReset :: ZoomMessage
- zoomRowWith :: (EQF f a, Show (f a), Read (f a), Show a, Read a) => f a -> ZoomRow f a
- class EQF f a where
- data ClassEQ a = ClassEQ
This module provides a layout which places all windows in a single row; the size occupied by each individual window can be increased and decreased, and a window can be set to use the whole available space whenever it has focus.
You can use this module by including the following in your
myLayout = zoomRow ||| Mirror zoomRow
To be able to resize windows, you can create keybindings to send
-- Increase the size occupied by the focused window , ((modMask .|. shifMask, xK_minus), sendMessage zoomIn) -- Decrease the size occupied by the focused window , ((modMayk , xK_minus), sendMessage zoomOut) -- Reset the size occupied by the focused window , ((modMask , xK_equal), sendMessage zoomReset) -- (Un)Maximize the focused window , ((modMask , xK_f ), sendMessage ToggleZoomFull)
For more information on editing your layout hook and key bindings, see XMonad.Doc.Extending.
A layout that arranges its windows in a horizontal row, and allows to change the relative size of each element independently.
The type of messages accepted by a
Multiply the focused window's size factor by the given number.
Set the focused window's size factor to the given number.
Set whether the focused window should occupy all available space when it has focus
Toggle whether the focused window should occupy all available space when it has focus
Use with non-
Eq class is usually concerned with structural equality, whereas
what this layout really wants is for its elements to have a unique identity,
even across changes. There are cases (such as, importantly,
Eq instance for a type actually does that, but if you want to lay
out something more exotic than windows and your
Eq means something else,
you can use the following.
ZoomRow layout with a custom equality predicate. It should
of course satisfy the laws for
Eq, and you should also make
sure that the layout never has to handle two "equal" elements
at the same time (it won't do any huge damage, but might behave
a bit strangely).
Class for equivalence relations. Must be transitive, reflexive.