|
class
|
|
APPLICATION
|
|
inherit
|
|
WINFORMS_FORM
|
|
rename
|
|
make as make_form
|
|
end
|
|
create
|
|
make
|
|
feature {NONE} -- Initialization
|
|
make
|
|
-- Run application.
|
|
do
|
|
-- Set window title
|
|
set_text ("Rosetta Code")
|
|
-- Launch application
|
|
{WINFORMS_APPLICATION}.run_form (Current)
|
|
end
|
|
end
|