From 354322c0023e470b5b0830916fb7ae868ad8760d Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Sun, 20 Oct 2019 13:37:53 +0200 Subject: Add setMargins --- src/Gtk/Internal.icl | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) (limited to 'src/Gtk/Internal.icl') diff --git a/src/Gtk/Internal.icl b/src/Gtk/Internal.icl index 5b49160..24e22cb 100644 --- a/src/Gtk/Internal.icl +++ b/src/Gtk/Internal.icl @@ -143,6 +143,26 @@ gtk_text_view_set_editable text_view setting env = code { ccall gtk_text_view_set_editable "pI:V:A" } +gtk_widget_set_margin_bottom :: !Pointer !Int !.a -> .a +gtk_widget_set_margin_bottom widget padding env = code { + ccall gtk_widget_set_margin_bottom "pI:V:A" +} + +gtk_widget_set_margin_left :: !Pointer !Int !.a -> .a +gtk_widget_set_margin_left widget padding env = code { + ccall gtk_widget_set_margin_left "pI:V:A" +} + +gtk_widget_set_margin_right :: !Pointer !Int !.a -> .a +gtk_widget_set_margin_right widget padding env = code { + ccall gtk_widget_set_margin_right "pI:V:A" +} + +gtk_widget_set_margin_top :: !Pointer !Int !.a -> .a +gtk_widget_set_margin_top widget padding env = code { + ccall gtk_widget_set_margin_top "pI:V:A" +} + gtk_widget_set_size_request :: !Pointer !Int !Int !.a -> .a gtk_widget_set_size_request widget hsize vsize env = code { ccall gtk_widget_set_size_request "pII:V:A" -- cgit v1.2.3