make |
open (x: INTEGER, y: INTEGER) |
add_text_entry (text: UNICODE_STRING, action: PROCEDURE [O_ -> TUPLE][TUPLE 2 [A_, B_][INTEGERINTEGER]]) |
require
|
add_entry (w: WIDGET, action: PROCEDURE [O_ -> TUPLE][TUPLE 2 [A_, B_][INTEGERINTEGER]]) |
require
|
add_sub_menu_enty (w: WIDGET, menu: MENU) |
add_space |