1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
|
implementation module osmenu
import StdBool, StdChar, StdClass, StdInt, StdString
import StdMaybe
from StdIOCommon import :: Modifiers
import menuCCall_12, menuCrossCall_12
from osdocumentinterface import :: OSMenuBar{..}
from ostypes import :: OSWindowPtr, OSNoWindowPtr
// Types for menus and menu elements:
:: OSMenuHandle :== HMENU
:: OSMenu :== HMENU
:: OSMenuItem :== HITEM
:: OSMenuSeparator :== HITEM
// Dummy values:
OSNoMenu :== 0
OSNoMenuItem :== 0
OSNoMenuSeparator :== 0
/* Initialisation:
*/
osInitialiseMenus :: !*OSToolbox -> *OSToolbox
osInitialiseMenus tb
= winInitialiseMenus tb
// Enabling and disabling menus and menu elements:
osDisableMenu :: !Int !OSMenuBar !*OSToolbox -> *OSToolbox
osDisableMenu zIndex osMenuBar=:{menuBar} tb
= winChangeMenuAbility menuBar zIndex False tb
osEnableMenu :: !Int !OSMenuBar !*OSToolbox -> *OSToolbox
osEnableMenu zIndex osMenuBar=:{menuBar} tb
= winChangeMenuAbility menuBar zIndex True tb
osDisableMenuItem :: !OSMenu !OSMenuItem !Int !*OSToolbox -> *OSToolbox
osDisableMenuItem menuHandle item _ tb
= winChangeItemAbility menuHandle item False tb
osEnableMenuItem :: !OSMenu !OSMenuItem !Int !*OSToolbox -> *OSToolbox
osEnableMenuItem menuHandle item _ tb
= winChangeItemAbility menuHandle item True tb
osDisableSubMenu :: !OSMenu !OSMenuItem !Int !*OSToolbox -> *OSToolbox
osDisableSubMenu menuHandle item _ tb
= winChangeItemAbility menuHandle item False tb
osEnableSubMenu :: !OSMenu !OSMenuItem !Int !*OSToolbox -> *OSToolbox
osEnableSubMenu menuHandle item _ tb
= winChangeItemAbility menuHandle item True tb
// Changing and updating the menu bar:
osDrawMenuBar :: !OSMenuBar !*OSToolbox -> *OSToolbox
osDrawMenuBar {menuWindow,menuClient} tb
= winDrawMenuBar menuWindow (if (menuClient==OSNoWindowPtr) 0 menuClient) tb
osMenuBarClear :: !*OSToolbox -> *OSToolbox
osMenuBarClear tb
= tb
osMenuBarSet :: !OSMenuBar !*OSToolbox -> (!OSMenuBar,!*OSToolbox)
osMenuBarSet menuBar tb
= (menuBar,tb)
osMenuInsert :: !Int !OSMenuNr !{#Char} !OSMenuBar !*OSToolbox -> (!OSMenu,!OSMenuBar,!*OSToolbox)
osMenuInsert index osMenuNr title menuBar tb
# (menu,tb) = winCreatePopupMenuHandle tb
= (menu,menuBar,winInsertMenu title True menu menuBar.menuBar index tb)
osSubMenuInsert :: !Int !OSMenuNr !{#Char} !OSMenu !*OSToolbox -> (!OSMenu, !OSMenu, !*OSToolbox)
osSubMenuInsert index osMenuNr title parentMenu tb
# (menu,tb) = winCreatePopupMenuHandle tb
= (menu,parentMenu,winInsertMenu title True menu parentMenu index tb)
osMenuRemove :: !OSMenu !OSMenuBar !*OSToolbox -> (!OSMenuBar, !*OSToolbox)
osMenuRemove menu menuBar=:{menuBar=hmenu} tb
# tb = winDeleteMenu hmenu menu tb
# tb = winDestroyMenu menu tb
= (menuBar,tb)
osSubMenuRemove :: !OSMenu !OSMenu !Int !Int !*OSToolbox -> (!OSMenu,!*OSToolbox)
osSubMenuRemove submenu hmenu _ _ tb
# tb = winDeleteMenu hmenu submenu tb
# tb = winDestroyMenu submenu tb
= (hmenu,tb)
osRemoveMenuShortKey :: !OSWindowPtr !OSMenuItem !*OSToolbox -> *OSToolbox
osRemoveMenuShortKey framePtr item tb
= winRemoveMenuShortKey framePtr item tb
osCreatePopUpMenu :: !*OSToolbox -> (!OSMenu,!*OSToolbox)
osCreatePopUpMenu tb
= winCreatePopupMenuHandle tb
:: OSTrackPopUpMenu // The result of tracking an item in a PopUpMenu:
= { ospupItem :: !OSTrackPopUpMenuResult // the item that has been selected
, ospupModifiers :: !Modifiers // the modifiers that have been pressed at selection
}
:: OSTrackPopUpMenuResult // The item of a pop up menu that has been selected is indicated by:
= PopUpTrackedByIndex !Int !Int // the parent menu id and the item's index position (used on Mac)
| PopUpTrackedByItemId !Int // its identification (used on Windows)
osTrackPopUpMenu :: !OSMenu !OSWindowPtr !*OSToolbox -> (!Maybe OSTrackPopUpMenu,!*OSToolbox)
osTrackPopUpMenu menu framePtr tb
# (menuItemID,modifiers,tb) = winTrackPopupMenu menu framePtr tb
| menuItemID==0
= (Nothing,tb)
| otherwise
= (Just {ospupItem=PopUpTrackedByItemId menuItemID,ospupModifiers=modifiers},tb)
// Changing (sub)menus:
osAppendMenuItem :: !OSMenuBar !Int !OSMenu !{#Char} !Bool !Bool !Char !*OSToolbox -> (!OSMenuItem,!OSMenu,!*OSToolbox)
osAppendMenuItem {menuWindow} index menu title able mark key tb
# title = if (key <> '\0')
(title +++ "\tCtrl+" +++ toString (toUpper key))
title
# (item,tb) = winInsertMenuItem title able mark menu index tb
| key <> '\0'
= (item,menu,winAddMenuShortKey menuWindow item key tb)
| otherwise
= (item,menu,tb)
osAppendMenuSeparator :: !Int !OSMenu !*OSToolbox -> (!OSMenuSeparator,!OSMenu,!*OSToolbox)
osAppendMenuSeparator index menu tb
# tb = winInsertSeparator menu index tb
= (OSNoMenuSeparator,menu,tb)
osChangeMenuTitle :: !OSMenuBar !OSMenu !{#Char} !*OSToolbox -> *OSToolbox
osChangeMenuTitle {menuBar} menu title tb
= winModifyMenu title menu menuBar tb
osChangeMenuItemTitle :: !OSMenu !OSMenuItem !Int !{#Char} !*OSToolbox -> *OSToolbox
osChangeMenuItemTitle menu item _ title tb
= winModifyMenuItem title item menu tb
osMenuItemCheck :: !Bool !OSMenu !OSMenuItem !Int !Int !*OSToolbox -> *OSToolbox
osMenuItemCheck check menu item _ _ tb
= winChangeMenuItemCheck menu item check tb
osMenuRemoveItem :: !OSMenuItem !Int !OSMenu !*OSToolbox -> (!OSMenu,!*OSToolbox)
osMenuRemoveItem item _ menu tb
= (menu,winRemoveMenuItem menu item tb)
// Validation of (sub)menu (element) attributes:
osValidateMenuItemTitle :: !(Maybe Char) !{#Char} -> {#Char} // PA: function now includes short key.
osValidateMenuItemTitle Nothing title
= title
osValidateMenuItemTitle (Just key) title
= title +++ "\tCtrl+" +++ toString (toUpper key)
/* Two functions that generate free OS ids for menus and sub menus.
If the functions fail, then the Bool result is False, and the Int result is 0.
Do not continue to create the (sub)menu.
*/
:: OSMenuNr :== Int
:: OSSubMenuNr :== Int
osNewMenuNr :: !*OSToolbox -> (!Bool,!OSMenuNr,!*OSToolbox)
osNewMenuNr tb
= (True,0,tb)
osNewSubMenuNr :: !*OSToolbox -> (!Bool,!OSSubMenuNr,!*OSToolbox)
osNewSubMenuNr tb
= (True,0,tb)
|
