indexing description: "[ EiffelMedia WIDGET_BROWSER application. Display all available widgets and themes. ]" date: "$Date$" revision: "$Revision$" class WIDGET_BROWSER inherit EM_APPLICATION EM_SHARED_THEME export {NONE} all end create make feature {NONE} -- Initialisation make (arguments: ARRAY [STRING]) is -- Create the main application. local keyboard: EM_KEYBOARD do -- Initiliase subsystems -- Argument 0 is the executed command. Argument 1 is the first real argument. if arguments.count > 1 and then arguments.item (1).is_equal ("noopengl") then set_opengl(False) else set_opengl(True) end set_window_width(740) set_window_height(700) initialize_screen -- Check subsystem initialisation if is_video_subsystem_enabled then -- Set global options set_application_id ("em_widget_browser") set_window_title ("EiffelMedia: Widget Browser") set_window_icon ("icon.png") create keyboard.make_snapshot keyboard.enable_unicode_characters keyboard.enable_repeating_key_down_events (200, 100) load_eclipse_theme -- Set first scene and launch it set_scene (create {WIDGET_BROWSER_SCENE}.make) launch -- Disable subsystems Video_subsystem.disable else io.error.put_string ("Failed to initialise video subsystem.%N") end end end