Paned (p.stk.0.5.0.doc.stk.Stk.Paned)

Sourcetype handle_position = [

| `Percent of float
| `Absolute of int

]

A handle position, defined either as percentage or absolute position.

val handle_position_wrapper : 
  [ `Absolute of int | `Percent of float ] Ocf.Wrapper.t

Sourceval handle_positions : handle_position option list Props.prop

Property "handle_positions", to store the positions of the handles in a paned widget.

Source

val css_handle_positions_prop : 
  ?inherited:bool ->
  ?def:[ `Absolute of int | `Percent of float ] option list ->
  [ `Absolute of int | `Percent of float ] option list Props.prop ->
  [ `Absolute of int | `Percent of float ] option list Css.P.prop

Sourceval css_handle_positions : handle_position option list Css.P.prop

Sourcetype user_handle_positionning = [

| `Percent
| `Absolute

]

How to define handle position when the user moves it: as percentage or absolute value. This changes the way handle positions are updated when the paned widget is resized: with `Percent, ratios between children will be kept, but with `Absolute the handles will remain at the same position.

Sourceval user_handle_positionnings : [> `Absolute | `Percent ] list

Sourceval string_of_user_handle_positionning : [< `Absolute | `Percent ] -> string

Source

val user_handle_positionning_of_string : 
  string ->
  [ `Absolute | `Percent ] option

Sourceval user_handle_positionning_wrapper : user_handle_positionning Ocf.wrapper

Sourceval user_handle_positionning : user_handle_positionning Props.prop

Property "user_handle_positionning".

Source

val css_user_handle_positioning_prop : 
  ?inherited:bool ->
  ?def:[ `Absolute | `Percent ] ->
  [ `Absolute | `Percent ] Props.prop ->
  [ `Absolute | `Percent ] Css.P.prop

Sourceval css_user_handle_positioning : user_handle_positionning Css.P.prop

Sourceval handle_props : Props.t Props.prop

Property "paned_handle_props" to define appearance of handles in paned widget. Default set Props.width to 2 and Props.fg_color to Color.grey.

Sourceval user_set_handle_live_update : bool Props.prop

Property "paned_user_set_handle_live_update" defines whether to update paned widget on each move of a handle by user (true), or wait for the user to end moving the handle (false). Default is true. It may be useful to set it to false when computation of children sizes may take some time.

Sourceval css_user_set_handle_live_update : bool Css.P.prop

Source

class paned : ?classes:string list option -> ?name:string option -> ?props:Props.t option -> ?wdata:
  Widget.wdata
    option -> unit -> object ... end

Paned widget.

Sourcetype Widget.widget_type +=

| Paned of paned

Source

val paned : 
  Props.orientation ->
  ?classes:string list ->
  ?name:string ->
  ?user_set_handle_live_update:bool ->
  ?props:Props.t ->
  ?wdata:Widget.wdata ->
  ?pack:(Widget.widget -> unit) ->
  unit ->
  paned

Source

val hpaned : 
  ?classes:string list ->
  ?name:string ->
  ?user_set_handle_live_update:bool ->
  ?props:Props.t ->
  ?wdata:Widget.wdata ->
  ?pack:(Widget.widget -> unit) ->
  unit ->
  paned

Source

val vpaned : 
  ?classes:string list ->
  ?name:string ->
  ?user_set_handle_live_update:bool ->
  ?props:Props.t ->
  ?wdata:Widget.wdata ->
  ?pack:(Widget.widget -> unit) ->
  unit ->
  paned