Extracted from Pike v7.4 release 117 at 2004-07-26.
[Top]
predef::
GTK
GTK.HandleBox
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()
GTK.HandleBox
GTK.HandleBox()->get_child_detached()
Method GTK.HandleBox()->create()
Method
create
GTK.HandleBox
GTK.HandleBox
(
)
Description
Create a new handle box widget.