DEFINITION MODULE FOR "C" GtkButton ; (* m2-GTK4 - GtkButton: a push button. Mapped onto . The interesting signal is "clicked", a C callback of the shape void handler(GtkButton *button, gpointer user_data). connect it with GObject.g_signal_connect_data() or the GtkUtils.Connect() helper. *) FROM SYSTEM IMPORT ADDRESS; EXPORT UNQUALIFIED GtkButton, gtk_button_new, gtk_button_new_with_label, gtk_button_new_with_mnemonic, gtk_button_set_label, gtk_button_get_label, gtk_button_set_child; TYPE GtkButton = ADDRESS; (* GtkWidget *gtk_button_new(void) *) PROCEDURE gtk_button_new () : GtkButton; (* GtkWidget *gtk_button_new_with_label(const char *label) *) PROCEDURE gtk_button_new_with_label (label: ARRAY OF CHAR) : GtkButton; (* GtkWidget *gtk_button_new_with_mnemonic(const char *label) *) PROCEDURE gtk_button_new_with_mnemonic (label: ARRAY OF CHAR) : GtkButton; (* void gtk_button_set_label(GtkButton *button, const char *label) *) PROCEDURE gtk_button_set_label (button: GtkButton; label: ARRAY OF CHAR); (* const char *gtk_button_get_label(GtkButton *button) *) PROCEDURE gtk_button_get_label (button: GtkButton) : ADDRESS; (* void gtk_button_set_child(GtkButton *button, GtkWidget *child) *) PROCEDURE gtk_button_set_child (button: GtkButton; child: ADDRESS); END GtkButton.