summaryrefslogtreecommitdiff
path: root/src/Gtk/Widgets.dcl
diff options
context:
space:
mode:
authorCamil Staps2019-10-25 08:48:52 +0200
committerCamil Staps2019-10-25 08:48:52 +0200
commitecb68717b4fdc61090149bda2da126d4594ace85 (patch)
tree4461f55009eb83cf9a251d95e9e257585fec1c81 /src/Gtk/Widgets.dcl
parentRemove specialized >>| for GtkM; enforce evaluation in >>= (diff)
Add GtkCheckMenuItem
Diffstat (limited to 'src/Gtk/Widgets.dcl')
-rw-r--r--src/Gtk/Widgets.dcl17
1 files changed, 15 insertions, 2 deletions
diff --git a/src/Gtk/Widgets.dcl b/src/Gtk/Widgets.dcl
index 1140c75..a04929c 100644
--- a/src/Gtk/Widgets.dcl
+++ b/src/Gtk/Widgets.dcl
@@ -70,10 +70,23 @@ instance gtkWidget GtkMenuBar
newMenuBar :: GtkM GtkMenuBar
:: GtkMenuItem
+
+class gtkMenuItem a :: !a -> GtkMenuItem
+
instance gtkWidget GtkMenuItem
+instance gtkMenuItem GtkMenuItem
newMenuItem :: !String -> GtkM GtkMenuItem
-setSubMenu :: !GtkMenuItem !GtkMenu -> GtkM GtkMenu
+setSubMenu :: !mi !GtkMenu -> GtkM GtkMenu | gtkMenuItem mi
+
+:: GtkCheckMenuItem
+instance gtkWidget GtkCheckMenuItem
+instance gtkMenuItem GtkCheckMenuItem
+instance ptr GtkCheckMenuItem
+
+newCheckMenuItem :: !String -> GtkM GtkCheckMenuItem
+isActive :: !GtkCheckMenuItem -> GtkM Bool
+setActive :: !Bool !GtkCheckMenuItem -> GtkM GtkCheckMenuItem
:: GtkMenuShell
instance gtkWidget GtkMenuShell
@@ -81,7 +94,7 @@ instance gtkWidget GtkMenuShell
class gtkMenuShell a :: !a -> GtkMenuShell
instance gtkMenuShell GtkMenu, GtkMenuBar, GtkMenuShell
-appendToMenuShell :: !s !GtkMenuItem -> GtkM GtkMenuItem | gtkMenuShell s
+appendToMenuShell :: !s !mi -> GtkM mi | gtkMenuShell s & gtkMenuItem mi
:: GtkPaned
instance gtkWidget GtkPaned