class WINDOW2 inherit TOP_SHELL rename make as top_shell_make end; COMMAND create make feature text_area: SCROLLED_T; text_label: LABEL; bulletin: BULLETIN; make (a_name: STRING; a_screen: SCREEN) is do top_shell_make (a_name, a_screen); create bulletin.make ("Bulletin", Current); create text_area.make ("Text", bulletin); create text_label.make ("Label", bulletin); set_values; set_positions; set_callbacks; end; set_values is local a_color: COLOR do create a_color.make; a_color.set_name ("yellow"); text_area.set_background_color (a_color); end; set_positions is -- Set positions and sizes of `text_area' and -- `text_field' in the bulletin. do set_size (200, 200); text_area.set_x_y (5,5); text_area.set_size (190, 140); text_label.set_x_y (20, 160); end; set_callbacks is local Nothing: ANY do text_area.add_modify_action (Current, Nothing) end; counter: INTEGER; execute (argument: ANY) is local temp: STRING do counter := counter + 1; create temp.make (0); temp.append_integer (counter); temp.append (" modification(s)"); text_label.set_text (temp) end; end --|---------------------------------------------------------------- --| EiffelVision: library of reusable components for ISE Eiffel. --| Copyright (C) 1986-2001 Interactive Software Engineering Inc. --| All rights reserved. Duplication and distribution prohibited. --| May be used only with ISE Eiffel, under terms of user license. --| Contact ISE for any other use. --| --| Interactive Software Engineering Inc. --| ISE Building --| 360 Storke Road, Goleta, CA 93117 USA --| Telephone 805-685-1006, Fax 805-685-6869 --| Electronic mail --| Customer support: http://support.eiffel.com> --| For latest info see award-winning pages: http://www.eiffel.com --|----------------------------------------------------------------