From 182eac71699784d3e2a44437452546a4b0c2d995 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Sun, 20 Oct 2019 13:37:33 +0200 Subject: Move position of GtkFrame label; add framed helper combinator --- src/Gtk/Widgets.dcl | 1 + 1 file changed, 1 insertion(+) (limited to 'src/Gtk/Widgets.dcl') diff --git a/src/Gtk/Widgets.dcl b/src/Gtk/Widgets.dcl index b4a9849..03b56b7 100644 --- a/src/Gtk/Widgets.dcl +++ b/src/Gtk/Widgets.dcl @@ -38,6 +38,7 @@ instance gtkWidget GtkFrame instance gtkContainer GtkFrame newFrame :: !GtkLabel !w -> State GtkState GtkFrame | gtkWidget w +framed :: !GtkLabel !(State GtkState w) -> State GtkState (w, GtkFrame) | gtkWidget w :: GtkPaned instance gtkWidget GtkPaned -- cgit v1.2.3