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/Widgets.icl | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/Gtk/Widgets.icl')

diff --git a/src/Gtk/Widgets.icl b/src/Gtk/Widgets.icl
index d9f7a59..1a56764 100644
--- a/src/Gtk/Widgets.icl
+++ b/src/Gtk/Widgets.icl
@@ -19,6 +19,14 @@ import Gtk.Types
 instance gtkWidget GtkWidget where gtkWidget w = w
 instance ptr GtkWidget where ptr w = w
 
+setMargins :: !GtkMargins !w -> State GtkState () | gtkWidget w
+setMargins {left,top,right,bottom} widget` =
+	let widget = gtkWidget widget` in
+	toState ('I'.gtk_widget_set_margin_left   widget left)   >>|
+	toState ('I'.gtk_widget_set_margin_top    widget top)    >>|
+	toState ('I'.gtk_widget_set_margin_right  widget right)  >>|
+	toState ('I'.gtk_widget_set_margin_bottom widget bottom)
+
 show :: !w -> State GtkState w | gtkWidget w
 show widget = toState ('I'.gtk_widget_show (gtkWidget widget)) >>| pure widget
 
-- 
cgit v1.2.3