note description: "WrapC UI Application" class WUI_APP inherit ANY redefine default_create end feature {NONE} -- Initialization default_create -- -- A standard GUI application launcher. do create application create main_window.make_with_title ("WrapC") main_window.build_menu_bar main_window.set_size (800, 600) main_window.close_request_actions.force (agent application.destroy) application.post_launch_actions.force (agent main_window.show) application.launch end feature {NONE} -- Application application: EV_APPLICATION -- An EV application. main_window: WUI_MAIN_WINDOW -- `application' `main_window'. ewg: detachable EWG -- Only here to bring EWG "in-system". -- This can be removed. end