diff options
author | Camil Staps | 2019-10-20 13:37:53 +0200 |
---|---|---|
committer | Camil Staps | 2019-10-20 13:37:53 +0200 |
commit | 354322c0023e470b5b0830916fb7ae868ad8760d (patch) | |
tree | e7c24f16329036b4685b994363ad2612bc98ac10 /src/Gtk/Internal.icl | |
parent | Move position of GtkFrame label; add framed helper combinator (diff) |
Add setMargins
Diffstat (limited to 'src/Gtk/Internal.icl')
-rw-r--r-- | src/Gtk/Internal.icl | 20 |
1 files changed, 20 insertions, 0 deletions
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" |