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