-- Automatic generation produced by ISE Eiffel --

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

class interface
     APPLICATION_IDS

feature -- Access

     Bmp_toolbar: INTEGER is 1

     Cmd_bold: INTEGER is 1007

     Cmd_bullet: INTEGER is 1015

     Cmd_center: INTEGER is 1013

     Cmd_color: INTEGER is 1011

     Cmd_exit: INTEGER is 1006

     Cmd_font: INTEGER is 1010

     Cmd_italic: INTEGER is 1008

     Cmd_left: INTEGER is 1012

     Cmd_new: INTEGER is 1001

     Cmd_open: INTEGER is 1002

     Cmd_print: INTEGER is 1005

     Cmd_right: INTEGER is 1014

     Cmd_save: INTEGER is 1003

     Cmd_save_as: INTEGER is 1004

     Cmd_underline: INTEGER is 1009

     Id_ico_application: INTEGER is 1

     Id_main_menu: INTEGER is 1
     
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 --