diff options
| author | Camil Staps | 2019-10-21 19:59:10 +0200 |
|---|---|---|
| committer | Camil Staps | 2019-10-21 19:59:10 +0200 |
| commit | d64e5adae5cc2f8223da2da42285e1b9124d6ab2 (patch) | |
| tree | b202d5d0ed3331f118a7b3271c5f4eec6f5eb563 /src/Gtk/Widgets.icl | |
| parent | Resolve TODO: pass floats platform-independently to gtk_frame_set_label_align (diff) | |
Simplify tuning
Diffstat (limited to 'src/Gtk/Widgets.icl')
| -rw-r--r-- | src/Gtk/Widgets.icl | 10 |
1 files changed, 6 insertions, 4 deletions
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 |