package bogue

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Dependency graph

bogue
- Bogue
  - Avar
  - Box
  - Button
  - Check
  - Draw
  - Image
  - Label
  - Layout
  - Long_list
  - Main
  - Menu
  - Mixer
  - Mouse
  - Popup
  - Print
  - Radiolist
  - Select
  - Selection
  - Slider
  - Snapshot
  - Space
  - Style
  - Sync
  - Table
  - Tabs
  - Text_display
  - Text_input
  - Theme
  - Time
  - Timeout
  - Trigger
  - Tvar
  - Update
  - Utils
  - Var
  - Widget

Legend:
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.t

When 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 -> unit

This 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 -> unit

Like hfill, but applies to the specified layout instead of creating an empty one.

val vfill : ?bottom_margin:int -> unit -> Layout.t

When 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 -> unit

val keep_bottom : ?reset_scaling:bool -> ?margin:int -> Layout.t -> unit

val keep_right : ?reset_scaling:bool -> ?margin:int -> Layout.t -> unit