+
Point of view
All features
class MENU
Summary
Class invariant
Overview
creation features
features
make
effective procedure
open (x: INTEGER_32, y: INTEGER_32)
effective procedure
add_text_entry (text: UNICODE_STRING, action: PROCEDURE[TUPLE 2[INTEGER_32, INTEGER_32]])
effective procedure
add_entry (w: WIDGET, action: PROCEDURE[TUPLE 2[INTEGER_32, INTEGER_32]])
effective procedure
add_sub_menu_enty (w: WIDGET, menu: MENU)
effective procedure
add_space
effective procedure
elements: FAST_ARRAY[WIDGET]
writable attribute
writable attribute
activate_proc: PROCEDURE[TUPLE 1[INTEGER_32]]
writable attribute
list_window: LIST_WINDOW
writable attribute
shared_list_window: FAST_ARRAY[LIST_WINDOW]
once function
run_action (i: INTEGER_32)
effective procedure
white_color: COLOR
once function
black_color: COLOR
once function
dim_grey_color: COLOR
once function
dark_grey_color: COLOR
once function
grey_color: COLOR
once function
light_grey_color: COLOR
once function
dark_blue_color: COLOR
once function
medium_blue_color: COLOR
once function
blue_color: COLOR
once function
royal_blue_color: COLOR
once function
deep_sky_blue_color: COLOR
once function
sky_blue_color: COLOR
once function
light_sky_blue_color: COLOR
once function
steel_blue_color: COLOR
once function
light_steel_blue_color: COLOR
once function
light_blue_color: COLOR
once function
pale_turquoise_color: COLOR
once function
dark_turquoise_color: COLOR
once function
medium_turquoise_color: COLOR
once function
turquoise_color: COLOR
once function
dark_cyan_color: COLOR
once function
cyan_color: COLOR
once function
light_cyan_color: COLOR
once function
dark_green_color: COLOR
once function
green_color: COLOR
once function
light_green_color: COLOR
once function
yellow_green_color: COLOR
once function
dark_khaki_color: COLOR
once function
khaki_color: COLOR
once function
yellow_color: COLOR
once function
light_yellow_color: COLOR
once function
gold_color: COLOR
once function
beige_color: COLOR
once function
chocolate_color: COLOR
once function
firebrick_color: COLOR
once function
brown_color: COLOR
once function
dark_salmon_color: COLOR
once function
salmon_color: COLOR
once function
light_salmon_color: COLOR
once function
dark_orange_color: COLOR
once function
orange_color: COLOR
once function
orange_red_color: COLOR
once function
dark_red_color: COLOR
once function
red_color: COLOR
once function
hot_pink_color: COLOR
once function
deep_pink_color: COLOR
once function
pink_color: COLOR
once function
light_pink_color: COLOR
once function
pale_violet_red_color: COLOR
once function
maroon_color: COLOR
once function
medium_violet_red_color: COLOR
once function
violet_red_color: COLOR
once function
violet_color: COLOR
once function
dark_magenta_color: COLOR
once function
magenta_color: COLOR
once function
dark_violet_color: COLOR
once function
blue_violet_color: COLOR
once function
medium_purple_color: COLOR
once function
purple_color: COLOR
once function