michael@13: window_sizes 1200 896 300 894 690 128
michael@13: show_stereotypes
michael@13: selected 
michael@13: package_ref 129 // asgui_design
michael@13: open
michael@13: end
michael@13: end