13 |
EB_COMMAND_FEEDBACK |
EB_COMMAND_FEEDBACK |
14 |
redefine |
redefine |
15 |
button, |
button, |
16 |
|
sd_button, |
17 |
menu_item |
menu_item |
18 |
end |
end |
19 |
|
|
28 |
button.enable_select |
button.enable_select |
29 |
button.select_actions.resume |
button.select_actions.resume |
30 |
end |
end |
31 |
|
if sd_button /= Void then |
32 |
|
sd_button.select_actions.block |
33 |
|
sd_button.enable_select |
34 |
|
sd_button.select_actions.resume |
35 |
|
end |
36 |
if menu_item /= Void then |
if menu_item /= Void then |
37 |
menu_item.select_actions.block |
menu_item.select_actions.block |
38 |
menu_item.enable_select |
menu_item.enable_select |
86 |
button: EV_TOOL_BAR_RADIO_BUTTON |
button: EV_TOOL_BAR_RADIO_BUTTON |
87 |
-- Button on the toolbar. |
-- Button on the toolbar. |
88 |
|
|
89 |
|
sd_button: SD_TOOL_BAR_RADIO_BUTTON |
90 |
|
-- Button on the toolbar. |
91 |
|
|
92 |
menu_item: EV_RADIO_MENU_ITEM |
menu_item: EV_RADIO_MENU_ITEM |
93 |
-- Menu entry in the menu. |
-- Menu entry in the menu. |
94 |
|
|