m2-GTK4/src/GtkWidget.def

DEFINITION MODULE FOR "C" GtkWidget ;

(*
   m2-GTK4 - GtkWidget: the base class of every visible control.
   Mapped onto <gtk/gtkwidget.h>.

   GTK4 removed gtk_widget_show()/hide(): a widget is shown/hidden
   with gtk_widget_set_visible().  A widget that is appended to a
   parent is visible by default.

   Layout helpers (margins, expand, alignment) are set per widget;
   containers such as GtkBox arrange their children.
*)

FROM SYSTEM IMPORT ADDRESS;
FROM GtkEnums IMPORT GtkAlign;

EXPORT UNQUALIFIED
   GtkWidget,
   gtk_widget_set_visible, gtk_widget_get_visible,
   gtk_widget_set_sensitive, gtk_widget_get_sensitive,
   gtk_widget_set_margin_top, gtk_widget_set_margin_bottom,
   gtk_widget_set_margin_start, gtk_widget_set_margin_end,
   gtk_widget_set_hexpand, gtk_widget_set_vexpand,
   gtk_widget_set_halign, gtk_widget_set_valign,
   gtk_widget_set_size_request, gtk_widget_grab_focus,
   gtk_widget_get_width, gtk_widget_get_height,
   gtk_widget_add_css_class, gtk_widget_remove_css_class,
   gtk_widget_has_css_class,
   gtk_widget_set_parent, gtk_widget_get_parent, gtk_widget_unparent,
   gtk_widget_add_controller, gtk_widget_remove_controller;


TYPE
   GtkWidget = ADDRESS;

(* void gtk_widget_set_visible(GtkWidget *widget, gboolean visible) *)
PROCEDURE gtk_widget_set_visible (widget: GtkWidget; visible: INTEGER);

(* gboolean gtk_widget_get_visible(GtkWidget *widget) *)
PROCEDURE gtk_widget_get_visible (widget: GtkWidget) : [ INTEGER ];

(* void gtk_widget_set_sensitive(GtkWidget *widget, gboolean sensitive) *)
PROCEDURE gtk_widget_set_sensitive (widget: GtkWidget; sensitive: INTEGER);

(* gboolean gtk_widget_get_sensitive(GtkWidget *widget) *)
PROCEDURE gtk_widget_get_sensitive (widget: GtkWidget) : [ INTEGER ];

(* void gtk_widget_set_margin_top(GtkWidget *widget, int margin) *)
PROCEDURE gtk_widget_set_margin_top (widget: GtkWidget; margin: INTEGER);

(* void gtk_widget_set_margin_bottom(GtkWidget *widget, int margin) *)
PROCEDURE gtk_widget_set_margin_bottom (widget: GtkWidget; margin: INTEGER);

(* void gtk_widget_set_margin_start(GtkWidget *widget, int margin) *)
PROCEDURE gtk_widget_set_margin_start (widget: GtkWidget; margin: INTEGER);

(* void gtk_widget_set_margin_end(GtkWidget *widget, int margin) *)
PROCEDURE gtk_widget_set_margin_end (widget: GtkWidget; margin: INTEGER);

(* void gtk_widget_set_hexpand(GtkWidget *widget, gboolean expand) *)
PROCEDURE gtk_widget_set_hexpand (widget: GtkWidget; expand: INTEGER);

(* void gtk_widget_set_vexpand(GtkWidget *widget, gboolean expand) *)
PROCEDURE gtk_widget_set_vexpand (widget: GtkWidget; expand: INTEGER);

(* void gtk_widget_set_halign(GtkWidget *widget, GtkAlign align) *)
PROCEDURE gtk_widget_set_halign (widget: GtkWidget; align: GtkAlign);

(* void gtk_widget_set_valign(GtkWidget *widget, GtkAlign align) *)
PROCEDURE gtk_widget_set_valign (widget: GtkWidget; align: GtkAlign);

(* void gtk_widget_set_size_request(GtkWidget *widget, int width, int height) *)
PROCEDURE gtk_widget_set_size_request (widget: GtkWidget;
                                       width, height: INTEGER);

(* void gtk_widget_grab_focus(GtkWidget *widget) *)
PROCEDURE gtk_widget_grab_focus (widget: GtkWidget);

(* int gtk_widget_get_width(GtkWidget *widget) *)
PROCEDURE gtk_widget_get_width (widget: GtkWidget) : INTEGER;

(* int gtk_widget_get_height(GtkWidget *widget) *)
PROCEDURE gtk_widget_get_height (widget: GtkWidget) : INTEGER;

(* void gtk_widget_add_css_class(GtkWidget *widget, const char *css_class) *)
PROCEDURE gtk_widget_add_css_class (widget: GtkWidget; css_class: ARRAY OF CHAR);

(* void gtk_widget_remove_css_class(GtkWidget *widget, const char *css_class) *)
PROCEDURE gtk_widget_remove_css_class (widget: GtkWidget;
                                       css_class: ARRAY OF CHAR);

(* gboolean gtk_widget_has_css_class(GtkWidget *widget, const char *css_class) *)
PROCEDURE gtk_widget_has_css_class (widget: GtkWidget;
                                    css_class: ARRAY OF CHAR) : [ INTEGER ];

(* void gtk_widget_set_parent(GtkWidget *widget, GtkWidget *parent) *)
PROCEDURE gtk_widget_set_parent (widget: GtkWidget; parent: ADDRESS);

(* GtkWidget *gtk_widget_get_parent(GtkWidget *widget) *)
PROCEDURE gtk_widget_get_parent (widget: GtkWidget) : ADDRESS;

(* void gtk_widget_unparent(GtkWidget *widget) *)
PROCEDURE gtk_widget_unparent (widget: GtkWidget);

(* void gtk_widget_add_controller(GtkWidget *widget, GtkEventController *controller) *)
PROCEDURE gtk_widget_add_controller (widget: GtkWidget; controller: ADDRESS);

(* void gtk_widget_remove_controller(GtkWidget *widget, GtkEventController *controller) *)
PROCEDURE gtk_widget_remove_controller (widget: GtkWidget; controller: ADDRESS);

END GtkWidget.