From d64e5adae5cc2f8223da2da42285e1b9124d6ab2 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Mon, 21 Oct 2019 19:59:10 +0200 Subject: Simplify tuning --- src/Gtk/Widgets.icl | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) (limited to 'src/Gtk/Widgets.icl') diff --git a/src/Gtk/Widgets.icl b/src/Gtk/Widgets.icl index 2e7c1de..869293e 100644 --- a/src/Gtk/Widgets.icl +++ b/src/Gtk/Widgets.icl @@ -24,23 +24,25 @@ where toPtr w = w fromPtr w = w -addCSSClass :: !GtkCSSClass !w -> GtkM () | gtkWidget w +addCSSClass :: !GtkCSSClass !w -> GtkM w | gtkWidget w addCSSClass (Class cls) widget = toStateR ('I'.gtk_widget_get_style_context (gtkWidget widget)) >>= \context -> - toState ('I'.gtk_style_context_add_class context cls) + toState ('I'.gtk_style_context_add_class context cls) >>| + pure widget removeCSSClass :: !GtkCSSClass !w -> GtkM () | gtkWidget w removeCSSClass (Class cls) widget = toStateR ('I'.gtk_widget_get_style_context (gtkWidget widget)) >>= \context -> toState ('I'.gtk_style_context_remove_class context cls) -setMargins :: !GtkMargins !w -> GtkM () | gtkWidget w +setMargins :: !GtkMargins !w -> GtkM w | 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) + toState ('I'.gtk_widget_set_margin_bottom widget bottom) >>| + pure widget` show :: !w -> GtkM w | gtkWidget w show widget = toState ('I'.gtk_widget_show (gtkWidget widget)) >>| pure widget -- cgit v1.2.3