blob: 540520bcc8a3e15b0785526d56f184345ee99644 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
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
|
