indexing

	description: "[

		Objects that represent an EV_TITLED_WINDOW.
		The original version of this class was generated by EiffelBuild.

	]"
	date: "$Date$"
	revision: "$Revision$"

deferred class

	MAIN_WINDOW_IMP

inherit

	EV_TITLED_WINDOW
		redefine
			initialize, is_in_default_state
		end

-- This class is the implementation of an EV_TITLED_WINDOW generated by EiffelBuild.
-- You should not modify this code by hand, as it will be re-generated every time
-- modifications are made to the project.

feature {NONE}-- Initialization

	initialize is
			-- Initialize `Current'.
		local
			internal_font: EV_FONT
		do
			Precursor {EV_TITLED_WINDOW}

				-- Create all widgets.
			create l_ev_horizontal_split_area_1
			create l_ev_vertical_box_1
			create title_label
			create button
			create l_ev_horizontal_box_1
			create textbox
			create listbox
			create simple_list_item
			create goof_list_item
			create tunnel_list_item
			create sierpinskie_list_item
			create cube_list_item
			create em_widget.make

				-- Build_widget_structure.
			extend (l_ev_horizontal_split_area_1)
			l_ev_horizontal_split_area_1.extend (l_ev_vertical_box_1)
			l_ev_vertical_box_1.extend (title_label)
			l_ev_vertical_box_1.extend (button)
			l_ev_vertical_box_1.extend (l_ev_horizontal_box_1)
			l_ev_horizontal_box_1.extend (textbox)
			l_ev_horizontal_box_1.extend (listbox)
			listbox.extend (simple_list_item)
			listbox.extend (goof_list_item)
			listbox.extend (tunnel_list_item)
			listbox.extend (sierpinskie_list_item)
			listbox.extend (cube_list_item)
			l_ev_horizontal_split_area_1.extend (em_widget)

			l_ev_vertical_box_1.set_minimum_height (100)
			create internal_font
			internal_font.set_height_in_points (12)
			internal_font.preferred_families.extend ("Verdana")
			title_label.set_font (internal_font)
			title_label.set_text ("EiffelMedia Vision2 Widget Example")
			button.set_text ("Hello World!")
			button.set_tooltip ("Click here to change to the next scene.")
			textbox.set_text ("Here you can simple type what you want:%NThis message will be read only from your computer ;)")
			simple_list_item.enable_select
			simple_list_item.set_text ("Simple Scene")
			goof_list_item.set_text ("Goof")
			tunnel_list_item.set_text ("Tunnel Scene")
			sierpinskie_list_item.set_text ("Sierpinski (3D)")
			cube_list_item.set_text("Cube (3D)")
			em_widget.set_minimum_width (310)
			em_widget.set_minimum_height (100)
			set_title ("Display window")

				--Connect events.
			button.select_actions.extend (agent on_button_click)
			listbox.select_actions.extend (agent on_item_changed)
			close_request_actions.extend (agent request_close_window)
				-- Close the application when an interface close
				-- request is recieved on `Current'. i.e. the cross is clicked.

				-- Call `user_initialization'.
			user_initialization
		end

feature -- Access

	simple_list_item, goof_list_item, tunnel_list_item, sierpinskie_list_item, cube_list_item: EV_LIST_ITEM
	listbox: EV_LIST
	button: EV_BUTTON
	textbox: EV_TEXT
	em_widget: VISION_WIDGET
	title_label: EV_LABEL

feature {NONE} -- Implementation

	l_ev_horizontal_split_area_1: EV_HORIZONTAL_SPLIT_AREA
	l_ev_horizontal_box_1: EV_HORIZONTAL_BOX
	l_ev_vertical_box_1: EV_VERTICAL_BOX

feature {NONE} -- Implementation

	is_in_default_state: BOOLEAN is
			-- Is `Current' in its default state?
		do
			-- Re-implement if you wish to enable checking
			-- for `Current'.
			Result := True
		end

	user_initialization is
			-- Feature for custom initialization, called at end of `initialize'.
		deferred
		end

	on_button_click is
			-- Called by `select_actions' of `button'.
		deferred
		end

	on_item_changed is
			-- Called by `select_actions' of `listbox'.
		deferred
		end

	request_close_window is
			-- Called by `close_request_actions' of `Current'.
		deferred
		end
end