class interface MENU
creation
make
feature(s) from COLOR_LIST
white_color: COLOR
black_color: COLOR
dim_grey_color: COLOR
dark_grey_color: COLOR
grey_color: COLOR
light_grey_color: COLOR
dark_blue_color: COLOR
medium_blue_color: COLOR
blue_color: COLOR
royal_blue_color: COLOR
deep_sky_blue_color: COLOR
sky_blue_color: COLOR
light_sky_blue_color: COLOR
steel_blue_color: COLOR
light_steel_blue_color: COLOR
light_blue_color: COLOR
pale_turquoise_color: COLOR
dark_turquoise_color: COLOR
medium_turquoise_color: COLOR
turquoise_color: COLOR
dark_cyan_color: COLOR
cyan_color: COLOR
light_cyan_color: COLOR
dark_green_color: COLOR
green_color: COLOR
light_green_color: COLOR
yellow_green_color: COLOR
dark_khaki_color: COLOR
khaki_color: COLOR
yellow_color: COLOR
light_yellow_color: COLOR
gold_color: COLOR
beige_color: COLOR
chocolate_color: COLOR
firebrick_color: COLOR
brown_color: COLOR
dark_salmon_color: COLOR
salmon_color: COLOR
light_salmon_color: COLOR
dark_orange_color: COLOR
orange_color: COLOR
orange_red_color: COLOR
dark_red_color: COLOR
red_color: COLOR
hot_pink_color: COLOR
deep_pink_color: COLOR
pink_color: COLOR
light_pink_color: COLOR
pale_violet_red_color: COLOR
maroon_color: COLOR
medium_violet_red_color: COLOR
violet_red_color: COLOR
violet_color: COLOR
dark_magenta_color: COLOR
magenta_color: COLOR
dark_violet_color: COLOR
blue_violet_color: COLOR
medium_purple_color: COLOR
purple_color: COLOR
feature(s) from MENU
make
feature(s) from MENU
open (x, y: INTEGER)
add_text_entry (text: UNICODE_STRING; action: PROCEDURE[ANY,TUPLE[INTEGER, INTEGER]])
require
text /= Void;
action /= Void
add_entry (w: WIDGET; action: PROCEDURE[ANY,TUPLE[INTEGER, INTEGER]])
require
w /= Void
add_sub_menu_enty (w: WIDGET; menu: MENU)
add_space
feature(s) from MENU
elements: FAST_ARRAY[WIDGET]
actions: FAST_ARRAY[PROCEDURE[ANY,TUPLE[INTEGER, INTEGER]]]
activate_proc: PROCEDURE[ANY,TUPLE[INTEGER]]
list_window: LIST_WINDOW
shared_list_window: FAST_ARRAY[LIST_WINDOW]
run_action (i: INTEGER)
invariant
actions.count = elements.count;
end of MENU