From 7553b7f9d4dddc2235c137d41de8ce22547bebe3 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 1 Jul 2015 17:36:37 +0200
Subject: Initial commit

---
 menuevent.dcl | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 menuevent.dcl

(limited to 'menuevent.dcl')

diff --git a/menuevent.dcl b/menuevent.dcl
new file mode 100644
index 0000000..540520b
--- /dev/null
+++ b/menuevent.dcl
@@ -0,0 +1,23 @@
+definition module menuevent
+
+
+//	Clean Object I/O library, version 1.2
+
+/*	menuevent defines the DeviceEventFunction for the menu device.
+	This function is placed in a separate module because it is platform dependent.
+*/
+
+
+import	deviceevents, devicesystemstate, menuhandle
+from	iostate	import :: PSt
+from	osmenu	import :: OSTrackPopUpMenu
+
+
+menuEvent		:: !SchedulerEvent !(PSt .l) -> (!Bool,!Maybe DeviceEvent,!SchedulerEvent,!PSt .l)
+
+/*	For pop up menu's an alternative way to determine the DeviceEvent is required:
+*/
+popUpMenuEvent	:: !OSTrackPopUpMenu !(MenuStateHandle .ps) !*OSToolbox -> (!Maybe DeviceEvent, !MenuStateHandle .ps, !*OSToolbox)
+
+//menuHandlesGetMenuStateHandles :: !(MenuHandles .pst) -> (![MenuStateHandle .pst], !MenuHandles .pst)
+// PA: not used
-- 
cgit v1.2.3