Extracted from Pike v7.8 release 866 at 2016-11-06.
pike.ida.liu.se
[Top]
GTK
GTK.HandleBox

Methods
 create()
 get_child_detached()
 get_float_window_mapped()
 get_handle_position()
 get_in_drag()
 get_shrink_on_detach()
 get_snap_edge()
 set_handle_position()
 set_set_shrink_on_detach()
 set_shadow_type()
 set_snap_edge()
previousGTK.HandleBox
GTK.HandleBox()->get_child_detached()next

Method GTK.HandleBox()->create()

Method create

GTK.HandleBox GTK.HandleBox()

Description

Create a new handle box widget.