man GBin.handle_box () - A widget for detachable window portions

NAME

GBin.handle_box - A widget for detachable window portions

Class

Class GBin.handle_box

Documentation

class handle_box : Gtk.handle_box Gtk.obj -> object end

A widget for detachable window portions

Parameters:

""

Gtk.handle_box Gtk.obj

val obj : Gtk.handle_box Gtk.obj

method event : GObj.event_ops

method connect : GBin.handle_box_signals

method set_handle_position : Gtk.Tags.position -> unit

method set_shadow_type : Gtk.Tags.shadow_type -> unit

method set_snap_edge : Gtk.Tags.position -> unit

method handle_position : Gtk.Tags.position

method shadow_type : Gtk.Tags.shadow_type

method snap_edge : Gtk.Tags.position