note
	description: "Objects that represent an EV_TITLED_WINDOW.%
		%The original version of this class was generated by EiffelBuild."
	legal: "See notice at end of class."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

deferred class
	POSITION_TAB_IMP

inherit
	EV_VERTICAL_BOX
		redefine
			initialize, is_in_default_state
		end
			
	CONSTANTS
		undefine
			is_equal, default_create, copy
		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
			-- Initialize `Current'.
		do
			Precursor {EV_VERTICAL_BOX}
			initialize_constants
			
				-- Create all widgets.
			create l_ev_frame_1
			create drawable
			create l_ev_table_1
			create l_ev_horizontal_box_1
			create l_ev_label_1
			create virtual_x_position
			create l_ev_horizontal_box_2
			create l_ev_label_2
			create virtual_y_position
			create l_ev_horizontal_box_3
			create first_visible_column_label
			create l_ev_horizontal_box_4
			create first_visible_row_label
			create l_ev_horizontal_box_5
			create last_visible_column_label
			create l_ev_horizontal_box_6
			create last_visible_row_label
			create viewable_width
			create viewable_height
			create viewable_x_offset
			create viewable_y_offset
			
				-- Build_widget_structure.
			extend (l_ev_frame_1)
			l_ev_frame_1.extend (drawable)
			extend (l_ev_table_1)
			l_ev_horizontal_box_1.extend (l_ev_label_1)
			l_ev_horizontal_box_1.extend (virtual_x_position)
			l_ev_horizontal_box_2.extend (l_ev_label_2)
			l_ev_horizontal_box_2.extend (virtual_y_position)
			l_ev_horizontal_box_3.extend (first_visible_column_label)
			l_ev_horizontal_box_4.extend (first_visible_row_label)
			l_ev_horizontal_box_5.extend (last_visible_column_label)
			l_ev_horizontal_box_6.extend (last_visible_row_label)
			
			l_ev_table_1.resize (2, 5)
			l_ev_table_1.set_row_spacing (box_padding)
			l_ev_table_1.set_column_spacing (box_padding)
				-- Insert and position all children of `l_ev_table_1'.
			l_ev_table_1.put_at_position (l_ev_horizontal_box_1, 1, 1, 1, 1)
			l_ev_table_1.put_at_position (l_ev_horizontal_box_2, 2, 1, 1, 1)
			l_ev_table_1.put_at_position (l_ev_horizontal_box_3, 1, 2, 1, 1)
			l_ev_table_1.put_at_position (l_ev_horizontal_box_4, 2, 2, 1, 1)
			l_ev_table_1.put_at_position (l_ev_horizontal_box_5, 1, 3, 1, 1)
			l_ev_table_1.put_at_position (l_ev_horizontal_box_6, 2, 3, 1, 1)
			l_ev_table_1.put_at_position (viewable_width, 1, 4, 1, 1)
			l_ev_table_1.put_at_position (viewable_height, 2, 4, 1, 1)
			l_ev_table_1.put_at_position (viewable_x_offset, 1, 5, 1, 1)
			l_ev_table_1.put_at_position (viewable_y_offset, 2, 5, 1, 1)
			l_ev_horizontal_box_1.disable_item_expand (l_ev_label_1)
			l_ev_label_1.set_text ("Virtual X : ")
			virtual_x_position.value_range.adapt (create {INTEGER_INTERVAL}.make (0, 1000000))
			l_ev_horizontal_box_2.set_padding_width (box_padding)
			l_ev_horizontal_box_2.disable_item_expand (l_ev_label_2)
			l_ev_label_2.set_text ("Virtual Y : ")
			virtual_y_position.value_range.adapt (create {INTEGER_INTERVAL}.make (0, 1000000))
			set_padding_width (box_padding)
			set_border_width (box_padding)
			disable_item_expand (l_ev_table_1)
			
				--Connect events.
			drawable.expose_actions.extend (agent drawable_exposed (?, ?, ?, ?))
			drawable.pointer_motion_actions.extend (agent pointed_moved_on_drawable (?, ?, ?, ?, ?, ?, ?))
			drawable.pointer_button_press_actions.extend (agent button_pressed_on_drawable (?, ?, ?, ?, ?, ?, ?, ?))
			drawable.pointer_button_release_actions.extend (agent button_released_on_drawable (?, ?, ?, ?, ?, ?, ?, ?))
			drawable.resize_actions.extend (agent drawable_resized (?, ?, ?, ?))
			virtual_x_position.change_actions.extend (agent virtual_x_position_changed (?))
			virtual_y_position.change_actions.extend (agent virtual_y_position_changed (?))
				-- Close the application when an interface close
				-- request is received on `Current'. i.e. the cross is clicked.

				-- Call `user_initialization'.
			user_initialization
		end

feature -- Access

	virtual_x_position, virtual_y_position: EV_SPIN_BUTTON
	drawable: EV_DRAWING_AREA
	first_visible_column_label, first_visible_row_label,
	last_visible_column_label, last_visible_row_label, viewable_width, viewable_height,
	viewable_x_offset, viewable_y_offset: EV_LABEL

feature {NONE} -- Implementation

	l_ev_table_1: EV_TABLE
	l_ev_horizontal_box_1, l_ev_horizontal_box_2, l_ev_horizontal_box_3,
	l_ev_horizontal_box_4, l_ev_horizontal_box_5, l_ev_horizontal_box_6: EV_HORIZONTAL_BOX
	l_ev_label_1,
	l_ev_label_2: EV_LABEL
	l_ev_frame_1: EV_FRAME

feature {NONE} -- Implementation

	is_in_default_state: BOOLEAN
			-- Is `Current' in its default state?
		do
			-- Re-implement if you wish to enable checking
			-- for `Current'.
			Result := True
		end
	
	user_initialization
			-- Feature for custom initialization, called at end of `initialize'.
		deferred
		end
	
	drawable_exposed (a_x, a_y, a_width, a_height: INTEGER)
			-- Called by `expose_actions' of `drawable'.
		deferred
		end
	
	pointed_moved_on_drawable (a_x, a_y: INTEGER; a_x_tilt, a_y_tilt, a_pressure: DOUBLE; a_screen_x, a_screen_y: INTEGER)
			-- Called by `pointer_motion_actions' of `drawable'.
		deferred
		end
	
	button_pressed_on_drawable (a_x, a_y, a_button: INTEGER; a_x_tilt, a_y_tilt, a_pressure: DOUBLE; a_screen_x, a_screen_y: INTEGER)
			-- Called by `pointer_button_press_actions' of `drawable'.
		deferred
		end
	
	button_released_on_drawable (a_x, a_y, a_button: INTEGER; a_x_tilt, a_y_tilt, a_pressure: DOUBLE; a_screen_x, a_screen_y: INTEGER)
			-- Called by `pointer_button_release_actions' of `drawable'.
		deferred
		end
	
	drawable_resized (a_x, a_y, a_width, a_height: INTEGER)
			-- Called by `resize_actions' of `drawable'.
		deferred
		end
	
	virtual_x_position_changed (a_value: INTEGER)
			-- Called by `change_actions' of `virtual_x_position'.
		deferred
		end
	
	virtual_y_position_changed (a_value: INTEGER)
			-- Called by `change_actions' of `virtual_y_position'.
		deferred
		end
	

note
	copyright:	"Copyright (c) 1984-2006, Eiffel Software and others"
	license:	"Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
	source: "[
			 Eiffel Software
			 356 Storke Road, Goleta, CA 93117 USA
			 Telephone 805-685-1006, Fax 805-685-6869
			 Website http://www.eiffel.com
			 Customer support http://support.eiffel.com
		]"


end -- class POSITION_TAB_IMP