I've bound Gtk with Futhark for a project of mine and IIRC `GTK_WIDGET` is just 
a macro to cast any of the compatible widget structs into a `GtkWidget` pointer.

Reply via email to