module Resize:sig..end
type
| |
Keep |
(* | Keep and apply the individual rooms resize functions. | *) |
| |
Disable |
(* | Don't resize (and cancel the rooms resize functions). | *) |
| |
Linear |
(* | Scale only in one direction, horizontal or vertical depending on function (flat or tower). | *) |
| |
Default |
(* | Default resizing strategy: scale dimensions and positions with respect to the layout size. | *) |