To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
Library
Module
Module type
Parameter
Class
Class type
Adjust various spacings 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).
Dependency graph
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 -> unitval 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 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 hfill.
val full_height : ?top_margin:int -> ?bottom_margin:int -> Layout.t -> unitval keep_bottom : ?reset_scaling:bool -> ?margin:int -> Layout.t -> unitval keep_right : ?reset_scaling:bool -> ?margin:int -> Layout.t -> unit