summaryrefslogtreecommitdiff
path: root/src/Gtk/Internal.icl
diff options
context:
space:
mode:
authorCamil Staps2019-10-20 13:37:53 +0200
committerCamil Staps2019-10-20 13:37:53 +0200
commit354322c0023e470b5b0830916fb7ae868ad8760d (patch)
treee7c24f16329036b4685b994363ad2612bc98ac10 /src/Gtk/Internal.icl
parentMove position of GtkFrame label; add framed helper combinator (diff)
Add setMargins
Diffstat (limited to 'src/Gtk/Internal.icl')
-rw-r--r--src/Gtk/Internal.icl20
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"