diff options
Diffstat (limited to 'src/Gtk/Widgets.icl')
| -rw-r--r-- | src/Gtk/Widgets.icl | 8 |
1 files changed, 8 insertions, 0 deletions
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 |