Next Previous Contents

16. Setting Widget Attributes

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


Next Previous Contents