-- Automatic generation produced by ISE Eiffel --

indexing
     description: "Generated by h2e from the file c:\eiffel4\examples\wel\magnify\app.rc."

class interface
     APPLICATION_IDS

feature -- Access

     About_dlg_id: INTEGER is 1

     Cmd_about: INTEGER is 101

     Cmd_automatic_refresh: INTEGER is 105

     Cmd_exit: INTEGER is 107

     Cmd_quickref: INTEGER is 106

     Cmd_refresh: INTEGER is 104

     Cmd_zoom_in: INTEGER is 102

     Cmd_zoom_out: INTEGER is 103

     Id_ico_application: INTEGER is 1

     Id_main_menu: INTEGER is 1

     Quickref_dlg_id: INTEGER is 2
     
invariant

           -- from ANY
     reflexive_equality: standard_is_equal (Current)
     reflexive_conformance: conforms_to (Current)

end -- class APPLICATION_IDS

-- Generated by ISE Eiffel --

-- For more details: www.eiffel.com --