indexing description: "[ Simple example to demonstrate how to use the classes generated with the EiffelMedia settings generator. ]" date: "$Date$" revision: "$Revision$" class SETTINGS_SIMPLE inherit SHARED_SETTINGS EM_APPLICATION create make feature -- Initialization make is -- root procedure of the example do -- The important thing about this example is that the classes -- 'settings.e' and 'shared_settings.e' are automatically generated -- with 'em_settings_generator' ({EM}/resources/tools/settings_generator) -- from the file 'settings.xml'. set_application_id ("settings_simple") -- This example just shows how easy it is to access settings, set settings and -- save settings to disc. -- Read saved settings settings.read_user_settings -- Change settings settings.set_num_of_starts (settings.num_of_starts + 1) -- Access settings set_window_height (settings.resolution_height) set_window_width(settings.resolution_width) initialize_screen set_window_title ("EiffelMedia Settings Example (simple)") set_window_icon ("icon.png") set_scene (create {SETTINGS_SIMPLE_SCENE}.make(settings.num_of_starts.out)) launch -- Save settings settings.write_user_settings end end