package stk

  1. Overview
  2. Docs
SDL-based GUI toolkit

Install 

dune-project
 Dependency

zoggy.frama.io Readme Edit opam file Versions (5)

Authors

  1. Z
    Zoggy <zoggy@bat8.org>

Maintainers

  1. Z
    zoggy@bat8.org

Sources

ocaml-stk-0.5.0.tar.bz2
md5=beeed5752ff67b3abeb1bcf8fb6b9098
sha512=c1603ae66956a674864ad875212fdbfc8d8016983202108d492b0d8722106b1e982e9fdc04b20d1b7adf5013343252fc5173851751906271731bc81d70dc789c

doc/stk/Stk/Paned/class-paned/index.html

Class Paned.panedSource

Paned widget.

Contains children widget separated by handles. Horizontal (or vertical if orientation is Vertical) space allocated to each child depends on handle positions. The first handle position defines how to distribute paned widget space between first and second children. The second handle position indicate how to distribube the remaining space between the second and third childreb, and so on.

The widget has class "vertical" or "horizontal" depending on orientation.

inherit Stk.Container.container_list
inherit Stk.Widget.oriented

Properties

method handle_props : Stk.Props.t
method set_handle_props : ?delay:float -> ?propagate:bool -> Stk.Props.t -> unit
method handle_positions : handle_position option list
method set_handle_positions : ?delay:float -> ?propagate:bool -> handle_position option list -> unit
method user_handle_positionning : user_handle_positionning
method set_user_handle_positionning : ?delay:float -> ?propagate:bool -> user_handle_positionning -> unit
method user_set_handle_live_update : bool
method set_user_set_handle_live_update : ?delay:float -> ?propagate:bool -> bool -> unit

Children

method children_widgets : Stk.Widget.widget list

o#children_widgets returns the list of children widget of o.

method reorder_child : Stk.Widget.widget -> int -> unit

o#reorder_child w pos moves child widget w to new position pos (if possible).

method pack : ?pos:int -> ?data:Stk.Container.child_data -> Stk.Widget.widget -> unit

o#pack w adds widget w to o. Optional parameter pos indicates a position to insert w; default is to append w to children. Optional parameter data associates the given value to w.

method unpack : Stk.Widget.widget -> unit

o#unpack w removes child widget w from o.

method unpack_all : destroy:bool -> unit

o#unpack_all ~destroy removes all children from o. destroy indicates whether to call #destroy on children after removing.