package stk

You can search for identifiers within the package.

in-package search v0.2.0

SDL-based GUI toolkit

Install

Dune Dependency

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

Authors

Z

Zoggy <zoggy@bat8.org>

Maintainers

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.paned`Source

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.

On This Page

Properties
Children