indexing description: "[ EiffelMedia POLYGON_EDITOR application. ]" date: "$Date$" revision: "$Revision$" class POLYGON_EDITOR inherit EM_APPLICATION EM_SHARED_THEME export {NONE} all end EM_SHARED_ERROR_HANDLER export {NONE} all end create make feature {NONE} -- Initialisation make (arguments: ARRAY [STRING]) is -- Create the main application. local keyboard: EM_KEYBOARD do --Set Windowsize Window_width := 1024 Window_height := 768 Screen_resolution := 32 -- Initiliase subsystems Video_subsystem.set_video_surface_width (Window_width) Video_subsystem.set_video_surface_height (Window_height) Video_subsystem.set_video_bpp (Screen_resolution) Video_subsystem.set_fullscreen (Fullscreen) Video_subsystem.enable initialize_screen -- Check subsystem initialisation if Video_subsystem.is_enabled then -- Set global options set_window_title ("EiffelMedia: Polygon Editor") set_window_icon ("icon.png") create keyboard.make_snapshot keyboard.enable_unicode_characters keyboard.enable_repeating_key_down_events (200, 80) Error_handler.set_verbose (False) video_subsystem.set_cursor_visibility (True) load_eclipse_theme -- Set first scene and launch it set_scene (create {POLYGON_EDITOR_SCENE}.make) launch -- Disable subsystems Video_subsystem.disable else io.error.put_string ("Failed to initialise video subsystem.%N") end end feature {NONE} -- Implementation Fullscreen: BOOLEAN is false -- Fullscreen? end