module Space:sig..end
Adjust various spacing and sizes of layouts.
These functions do not take effect immediately! They will be executed, in the order of their invocation, at the next graphics frame (or at startup if they are invoked before the start of the mainloop).
val hfill : ?right_margin:int -> unit -> Layout.tWhen used in a Layout.flat structure, this special empty layout will
automatically expand in order to fill the available width in the parent
house. The other inhabitants keep the width they had at the execution of
the hfill invocation. Their height is resized as usual. Only one hfill
layout should be used in a given house.
val make_hfill : ?right_margin:int -> Layout.t -> unit
val full_width : ?right_margin:int -> ?left_margin:int -> Layout.t -> unitThis will set the width of the room (layout) in order to occupy the whole width of its house.
val make_vfill : ?bottom_margin:int -> Layout.t -> unitLike Space.hfill, but applies to the specified layout instead of creating an
empty one.
val vfill : ?bottom_margin:int -> unit -> Layout.tWhen used in a Layout.tower structure, this special empty layout will
automatically expand in order to fill the available height in the parent
house. See Space.hfill.
val full_height : ?top_margin:int -> ?bottom_margin:int -> Layout.t -> unit
val keep_bottom : ?reset_scaling:bool -> ?margin:int -> Layout.t -> unit
val keep_right : ?reset_scaling:bool -> ?margin:int -> Layout.t -> unit