From ecb68717b4fdc61090149bda2da126d4594ace85 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 25 Oct 2019 08:48:52 +0200
Subject: Add GtkCheckMenuItem

---
 src/Gtk/Widgets.dcl | 17 +++++++++++++++--
 1 file changed, 15 insertions(+), 2 deletions(-)

(limited to 'src/Gtk/Widgets.dcl')

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
-- 
cgit v1.2.3