Automatic generation produced by ISE Eiffel
class EV_THEME_WINDOW Ancestors EV_ANY_HANDLER WEL_FRAME_WINDOW Clients EV_APPLICATION_IMP EV_THEME_WINDOW Suppliers EV_APPLICATION_I* EV_ENVIRONMENT EV_ENVIRONMENT_I* EV_NOTIFY_ACTION_SEQUENCE EV_THEME_WINDOW -- Generated by Eiffel Studio --
For more details: eiffel.org