This describes the procedures used to operate on widgets. These can be used to set style, padding, size etc.
(Maybe I should make a whole section on accelerators.)
add_accelerator ( accel_signal : STRING; accel_group : GTK_ACCEL_GROUP;
accel_key : INTEGER; accel_mods : GDK_MODIFIER_TYPE;
accel_flags : GTK_ACCEL_FLAGS )
remove_accelerator ( accel_group : GTK_ACCEL_GROUP;
accel_key : INTEGER;
accel_mods : INTEGER ) is
activate
set_name ( name : STRING )
get_name : STRING
set_sensitive ( sensitive : BOOLEAN )
set_style ( arg_style : GTK_STYLE )
get_style : GTK_STYLE
get_default_style : GTK_STYLE
set_uposition ( x : INTEGER; y : INTEGER )
set_usize ( height : INTEGER; width : INTEGER )
grab_focus
show
hide