Class GPack.panedSource

Base class for widgets with two adjustable panes @gtkdoc gtk GtkPaned

inherit GContainer.container_full
val obj : Gtk.paned Gtk.obj
method event : GObj.event_ops
method add1 : GObj.widget -> unit
method add2 : GObj.widget -> unit
method pack1 : ?resize:bool -> ?shrink:bool -> GObj.widget -> unit
  • parameter resize

    default value is false

  • parameter shrink

    default value is false

method pack2 : ?resize:bool -> ?shrink:bool -> GObj.widget -> unit
  • parameter resize

    default value is false

  • parameter shrink

    default value is false

  • parameter resize

    default value is false

  • parameter shrink

    default value is false

method child1 : GObj.widget
  • parameter resize

    default value is false

  • parameter shrink

    default value is false

method child2 : GObj.widget
method set_orientation : Gtk.Tags.orientation -> unit
method orientation : Gtk.Tags.orientation
method set_position : int -> unit
method position : int
method max_position : int
  • since GTK 2.4
method min_position : int
  • since GTK 2.4
  • since GTK 2.4