summaryrefslogtreecommitdiff
path: root/src/Gtk
diff options
context:
space:
mode:
Diffstat (limited to 'src/Gtk')
-rw-r--r--src/Gtk/Types.dcl2
-rw-r--r--src/Gtk/Widgets.dcl3
-rw-r--r--src/Gtk/Widgets.icl3
3 files changed, 7 insertions, 1 deletions
diff --git a/src/Gtk/Types.dcl b/src/Gtk/Types.dcl
index cb264bb..8ffa961 100644
--- a/src/Gtk/Types.dcl
+++ b/src/Gtk/Types.dcl
@@ -167,7 +167,7 @@ instance toInt GtkScrollbarPolicy
= Shrink
| NoShrink
-:: GtkSizeRequest =: GtkSizeRequest (Int,Int)
+:: GtkSizeRequest =: GtkSizeRequest (!Int,!Int)
:: GtkSpacing =: Spacing Int
diff --git a/src/Gtk/Widgets.dcl b/src/Gtk/Widgets.dcl
index 9fba147..0b77204 100644
--- a/src/Gtk/Widgets.dcl
+++ b/src/Gtk/Widgets.dcl
@@ -175,6 +175,7 @@ instance gtkContainer GtkScrolledWindow
newScrolledWindow :: GtkM GtkScrolledWindow
instance tune GtkScrolledWindow (GtkScrollbarPolicy, GtkScrollbarPolicy)
+where tune :: !(!GtkScrollbarPolicy, !GtkScrollbarPolicy) !GtkScrolledWindow -> GtkM GtkScrolledWindow
:: GtkSearchEntry =: GtkSearchEntry Pointer
instance gtkWidget GtkSearchEntry
@@ -237,7 +238,9 @@ setMargins :: !GtkMargins !w -> GtkM w | gtkWidget w
instance tune w GtkSensitivity | gtkWidget w
instance tune w (GtkAlign,GtkAlign) | gtkWidget w
+where tune :: !(!GtkAlign, !GtkAlign) !w -> GtkM w | gtkWidget w
instance tune w (GtkExpand,GtkExpand) | gtkWidget w
+where tune :: !(!GtkExpand, !GtkExpand) !w -> GtkM w | gtkWidget w
instance tune w GtkAccelerator | gtkWidget w
instance tune w GtkSizeRequest | gtkWidget w
diff --git a/src/Gtk/Widgets.icl b/src/Gtk/Widgets.icl
index db69b81..9573966 100644
--- a/src/Gtk/Widgets.icl
+++ b/src/Gtk/Widgets.icl
@@ -355,6 +355,7 @@ newScrolledWindow =
instance tune GtkScrolledWindow (GtkScrollbarPolicy, GtkScrollbarPolicy)
where
+ tune :: !(!GtkScrollbarPolicy, !GtkScrollbarPolicy) !GtkScrolledWindow -> GtkM GtkScrolledWindow
tune (hp,vp) window=:(GtkScrolledWindow sw) =
toState (gtk_scrolled_window_set_policy sw (toInt hp) (toInt vp)) >>|
pure window
@@ -537,6 +538,7 @@ where
instance tune w (GtkAlign,GtkAlign) | gtkWidget w
where
+ tune :: !(!GtkAlign, !GtkAlign) !w -> GtkM w | gtkWidget w
tune (halign,valign) widget =
let (GtkWidget w) = gtkWidget widget in
toState (gtk_widget_set_halign w (toInt halign)) >>|
@@ -545,6 +547,7 @@ where
instance tune w (GtkExpand,GtkExpand) | gtkWidget w
where
+ tune :: !(!GtkExpand, !GtkExpand) !w -> GtkM w | gtkWidget w
tune (hexpand,vexpand) widget =
let (GtkWidget w) = gtkWidget widget in
toState (gtk_widget_set_hexpand w hexpand=:Expand) >>|