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
	MAIN_WINDOW_IMP

inherit
	EV_TITLED_WINDOW
		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'.
		local
			l_ev_menu_bar_1: EV_MENU_BAR
			l_ev_menu_separator_1: EV_MENU_SEPARATOR
			l_ev_horizontal_box_1, l_ev_horizontal_box_2, l_ev_horizontal_box_3, l_ev_horizontal_box_4: EV_HORIZONTAL_BOX
			l_ev_tool_bar_separator_1, l_ev_tool_bar_separator_2, l_ev_tool_bar_separator_3,
			l_ev_tool_bar_separator_4: EV_TOOL_BAR_SEPARATOR
			l_ev_label_1, l_ev_label_2, l_ev_label_3, l_ev_label_4, l_ev_label_5: EV_LABEL
			l_ev_cell_1, l_ev_cell_2, l_ev_cell_3, l_ev_cell_4, l_ev_cell_5, l_ev_cell_6,
			l_ev_cell_7, l_ev_cell_8, l_ev_cell_9: EV_CELL
			l_ev_horizontal_separator_1, l_ev_horizontal_separator_2: EV_HORIZONTAL_SEPARATOR
			l_ev_frame_1, l_ev_frame_2: EV_FRAME
		do
			Precursor {EV_TITLED_WINDOW}
			initialize_constants

				-- Create all widgets.
			create l_ev_menu_bar_1
			create file_menu
			create open_menu_item
			create save_menu_item
			create save_as_menu_item
			create l_ev_menu_separator_1
			create exit_menu_item
			create options_menu
			create word_wrapping_menu_item
			create show_paragraph_toolbar
			create main_vertical_box
			create l_ev_horizontal_box_1
			create font_selection
			create size_selection
			create color_toolbar
			create color_button
			create background_color_toolbar
			create background_color_button
			create format_toolbar
			create l_ev_tool_bar_separator_1
			create bold_button
			create italic_button
			create underlined_button
			create striked_through_button
			create l_ev_tool_bar_separator_2
			create save_button
			create l_ev_tool_bar_separator_3
			create l_ev_label_1
			create l_ev_cell_1
			create l_ev_cell_2
			create vertical_offset
			create paragraph_toolbar_holder
			create l_ev_horizontal_separator_1
			create l_ev_horizontal_box_2
			create paragraph_toolbar
			create left_alignment_button
			create center_alignment_button
			create right_alignment_button
			create justified_button
			create l_ev_tool_bar_separator_4
			create l_ev_cell_3
			create l_ev_label_2
			create l_ev_cell_4
			create left_margin
			create l_ev_label_3
			create l_ev_cell_5
			create right_margin
			create l_ev_label_4
			create l_ev_cell_6
			create top_spacing
			create l_ev_label_5
			create l_ev_cell_7
			create bottom_spacing
			create l_ev_cell_8
			create tab_control_holder
			create l_ev_horizontal_separator_2
			create rich_text
			create l_ev_cell_9
			create l_ev_horizontal_box_3
			create l_ev_frame_1
			create l_ev_horizontal_box_4
			create general_label
			create save_progress
			create l_ev_frame_2
			create caret_position_label

				-- Build_widget_structure.
			set_menu_bar (l_ev_menu_bar_1)
			l_ev_menu_bar_1.extend (file_menu)
			file_menu.extend (open_menu_item)
			file_menu.extend (save_menu_item)
			file_menu.extend (save_as_menu_item)
			file_menu.extend (l_ev_menu_separator_1)
			file_menu.extend (exit_menu_item)
			l_ev_menu_bar_1.extend (options_menu)
			options_menu.extend (word_wrapping_menu_item)
			options_menu.extend (show_paragraph_toolbar)
			extend (main_vertical_box)
			main_vertical_box.extend (l_ev_horizontal_box_1)
			l_ev_horizontal_box_1.extend (font_selection)
			l_ev_horizontal_box_1.extend (size_selection)
			l_ev_horizontal_box_1.extend (color_toolbar)
			color_toolbar.extend (color_button)
			l_ev_horizontal_box_1.extend (background_color_toolbar)
			background_color_toolbar.extend (background_color_button)
			l_ev_horizontal_box_1.extend (format_toolbar)
			format_toolbar.extend (l_ev_tool_bar_separator_1)
			format_toolbar.extend (bold_button)
			format_toolbar.extend (italic_button)
			format_toolbar.extend (underlined_button)
			format_toolbar.extend (striked_through_button)
			format_toolbar.extend (l_ev_tool_bar_separator_2)
			format_toolbar.extend (save_button)
			format_toolbar.extend (l_ev_tool_bar_separator_3)
			l_ev_horizontal_box_1.extend (l_ev_label_1)
			l_ev_horizontal_box_1.extend (l_ev_cell_1)
			l_ev_horizontal_box_1.extend (l_ev_cell_2)
			l_ev_cell_2.extend (vertical_offset)
			main_vertical_box.extend (paragraph_toolbar_holder)
			paragraph_toolbar_holder.extend (l_ev_horizontal_separator_1)
			paragraph_toolbar_holder.extend (l_ev_horizontal_box_2)
			l_ev_horizontal_box_2.extend (paragraph_toolbar)
			paragraph_toolbar.extend (left_alignment_button)
			paragraph_toolbar.extend (center_alignment_button)
			paragraph_toolbar.extend (right_alignment_button)
			paragraph_toolbar.extend (justified_button)
			paragraph_toolbar.extend (l_ev_tool_bar_separator_4)
			l_ev_horizontal_box_2.extend (l_ev_cell_3)
			l_ev_horizontal_box_2.extend (l_ev_label_2)
			l_ev_horizontal_box_2.extend (l_ev_cell_4)
			l_ev_cell_4.extend (left_margin)
			l_ev_horizontal_box_2.extend (l_ev_label_3)
			l_ev_horizontal_box_2.extend (l_ev_cell_5)
			l_ev_cell_5.extend (right_margin)
			l_ev_horizontal_box_2.extend (l_ev_label_4)
			l_ev_horizontal_box_2.extend (l_ev_cell_6)
			l_ev_cell_6.extend (top_spacing)
			l_ev_horizontal_box_2.extend (l_ev_label_5)
			l_ev_horizontal_box_2.extend (l_ev_cell_7)
			l_ev_cell_7.extend (bottom_spacing)
			l_ev_horizontal_box_2.extend (l_ev_cell_8)
			main_vertical_box.extend (tab_control_holder)
			tab_control_holder.extend (l_ev_horizontal_separator_2)
			main_vertical_box.extend (rich_text)
			main_vertical_box.extend (l_ev_cell_9)
			main_vertical_box.extend (l_ev_horizontal_box_3)
			l_ev_horizontal_box_3.extend (l_ev_frame_1)
			l_ev_frame_1.extend (l_ev_horizontal_box_4)
			l_ev_horizontal_box_4.extend (general_label)
			l_ev_horizontal_box_4.extend (save_progress)
			l_ev_horizontal_box_3.extend (l_ev_frame_2)
			l_ev_frame_2.extend (caret_position_label)

			set_minimum_width (window_width)
			set_minimum_height (window_height)
			set_title ("Rich Text Example")
			file_menu.set_text ("File")
			open_menu_item.set_text ("Open")
			save_menu_item.set_text ("Save")
			save_as_menu_item.set_text ("Save As")
			exit_menu_item.set_text ("Exit")
			options_menu.set_text ("Options")
			word_wrapping_menu_item.enable_select
			word_wrapping_menu_item.set_text ("Word Wrapping")
			show_paragraph_toolbar.enable_select
			show_paragraph_toolbar.set_text ("Paragraph Toolbar")
			main_vertical_box.set_padding_width (tiny_padding)
			main_vertical_box.disable_item_expand (l_ev_horizontal_box_1)
			main_vertical_box.disable_item_expand (paragraph_toolbar_holder)
			main_vertical_box.disable_item_expand (tab_control_holder)
			main_vertical_box.disable_item_expand (l_ev_cell_9)
			main_vertical_box.disable_item_expand (l_ev_horizontal_box_3)
			l_ev_horizontal_box_1.disable_item_expand (font_selection)
			l_ev_horizontal_box_1.disable_item_expand (size_selection)
			l_ev_horizontal_box_1.disable_item_expand (color_toolbar)
			l_ev_horizontal_box_1.disable_item_expand (background_color_toolbar)
			l_ev_horizontal_box_1.disable_item_expand (format_toolbar)
			l_ev_horizontal_box_1.disable_item_expand (l_ev_label_1)
			l_ev_horizontal_box_1.disable_item_expand (l_ev_cell_1)
			l_ev_horizontal_box_1.disable_item_expand (l_ev_cell_2)
			font_selection.set_tooltip ("Font Family Selection")
			font_selection.set_minimum_width (font_selection_combo_box_width)
			size_selection.set_tooltip ("Font Size Selection in Pixels")
			size_selection.set_minimum_width (font_size_combo_box_width)
			color_button.set_tooltip ("Font Color Selection")
			background_color_button.set_tooltip ("Font Background Color Selection")
			bold_button.enable_select
			bold_button.set_tooltip ("Bold")
			bold_button.set_pixmap (bold_png)
			italic_button.set_tooltip ("Italic")
			italic_button.set_pixmap (italic_png)
			underlined_button.set_tooltip ("Underlined")
			underlined_button.set_pixmap (underline_png)
			striked_through_button.set_tooltip ("Striken Through")
			striked_through_button.set_pixmap (strike_png)
			save_button.set_pixmap (icon_save_color_png)
			l_ev_label_1.set_text ("Offset")
			l_ev_label_1.set_tooltip ("Vertical Offset of Character from Baseline")
			l_ev_cell_1.set_minimum_width (small_padding)
			vertical_offset.set_tooltip ("Vertical Character Offset")
			vertical_offset.value_range.adapt (create {INTEGER_INTERVAL}.make (-25, 25))
			l_ev_horizontal_box_2.set_padding_width (small_padding)
			l_ev_horizontal_box_2.disable_item_expand (paragraph_toolbar)
			l_ev_horizontal_box_2.disable_item_expand (l_ev_cell_3)
			l_ev_horizontal_box_2.disable_item_expand (l_ev_label_2)
			l_ev_horizontal_box_2.disable_item_expand (l_ev_cell_4)
			l_ev_horizontal_box_2.disable_item_expand (l_ev_label_3)
			l_ev_horizontal_box_2.disable_item_expand (l_ev_cell_5)
			l_ev_horizontal_box_2.disable_item_expand (l_ev_label_4)
			l_ev_horizontal_box_2.disable_item_expand (l_ev_cell_6)
			l_ev_horizontal_box_2.disable_item_expand (l_ev_label_5)
			l_ev_horizontal_box_2.disable_item_expand (l_ev_cell_7)
			left_alignment_button.set_tooltip ("Align Text Left")
			left_alignment_button.set_pixmap (left_alignment_png)
			center_alignment_button.set_tooltip ("Center Text")
			center_alignment_button.set_pixmap (center_alignment_png)
			right_alignment_button.set_tooltip ("Align Text Right")
			right_alignment_button.set_pixmap (right_alignment_png)
			justified_button.set_tooltip ("Justify Text")
			justified_button.set_pixmap (justified_png)
			l_ev_cell_3.set_minimum_width (0)
			l_ev_label_2.set_text ("Left Margin")
			left_margin.set_tooltip ("Paragraph Left Margin")
			left_margin.set_minimum_width (font_size_combo_box_width)
			left_margin.value_range.adapt (create {INTEGER_INTERVAL}.make (0, 200))
			l_ev_label_3.set_text ("Right Margin")
			right_margin.set_tooltip ("Paragraph Right Margin")
			right_margin.set_minimum_width (font_size_combo_box_width)
			right_margin.value_range.adapt (create {INTEGER_INTERVAL}.make (0, 200))
			l_ev_label_4.set_text ("Top Spacing")
			top_spacing.set_tooltip ("Paragraph Top Spacing")
			top_spacing.set_minimum_width (font_size_combo_box_width)
			top_spacing.value_range.adapt (create {INTEGER_INTERVAL}.make (0, 200))
			l_ev_label_5.set_text ("Bottom Spacing")
			bottom_spacing.set_tooltip ("Paragraph Bottom Spacing")
			bottom_spacing.set_minimum_width (font_size_combo_box_width)
			bottom_spacing.value_range.adapt (create {INTEGER_INTERVAL}.make (0, 200))
			tab_control_holder.hide
			l_ev_cell_9.set_minimum_height (tiny_padding)
			l_ev_horizontal_box_3.set_padding_width (tiny_padding)
			l_ev_horizontal_box_3.disable_item_expand (l_ev_frame_2)
			l_ev_frame_1.set_style (1)
			save_progress.hide
			l_ev_frame_2.set_minimum_width (caret_position_status_bar_width)
			l_ev_frame_2.set_style (1)

				--Connect events.
			open_menu_item.select_actions.extend (agent open_file)
			save_menu_item.select_actions.extend (agent save_file)
			save_as_menu_item.select_actions.extend (agent save_file_as)
			exit_menu_item.select_actions.extend (agent exit)
			word_wrapping_menu_item.select_actions.extend (agent word_wrapping_toggled)
			show_paragraph_toolbar.select_actions.extend (agent show_paragraph_toolbar_selected)
			font_selection.select_actions.extend (agent font_selected)
			size_selection.select_actions.extend (agent font_size_selected)
			size_selection.return_actions.extend (agent font_size_selected)
			color_button.select_actions.extend (agent color_selected)
			background_color_button.select_actions.extend (agent background_color_selected)
			bold_button.select_actions.extend (agent bold_selected)
			italic_button.select_actions.extend (agent italic_selected)
			underlined_button.select_actions.extend (agent underline_selected)
			striked_through_button.select_actions.extend (agent strike_through_selected)
			save_button.select_actions.extend (agent save_file)
			vertical_offset.change_actions.extend (agent offset_changed (?))
			left_alignment_button.select_actions.extend (agent left_alignment_selected)
			center_alignment_button.select_actions.extend (agent center_alignment_selected)
			right_alignment_button.select_actions.extend (agent right_alignment_selected)
			justified_button.select_actions.extend (agent justified_selected)
			left_margin.change_actions.extend (agent left_margin_changed (?))
			right_margin.change_actions.extend (agent right_margin_changed (?))
			top_spacing.change_actions.extend (agent top_spacing_changed (?))
			bottom_spacing.change_actions.extend (agent bottom_spacing_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

	file_menu, options_menu: EV_MENU
	open_menu_item, save_menu_item, save_as_menu_item, exit_menu_item: EV_MENU_ITEM
	word_wrapping_menu_item, show_paragraph_toolbar: EV_CHECK_MENU_ITEM
	main_vertical_box, paragraph_toolbar_holder, tab_control_holder: EV_VERTICAL_BOX
	font_selection, size_selection: EV_COMBO_BOX
	color_toolbar, background_color_toolbar, format_toolbar, paragraph_toolbar: EV_TOOL_BAR
	color_button, background_color_button, save_button: EV_TOOL_BAR_BUTTON
	bold_button, italic_button, underlined_button, striked_through_button, left_alignment_button,
	center_alignment_button, right_alignment_button, justified_button: EV_TOOL_BAR_TOGGLE_BUTTON
	vertical_offset, left_margin, right_margin, top_spacing, bottom_spacing: EV_SPIN_BUTTON
	rich_text: EV_RICH_TEXT
	general_label, caret_position_label: EV_LABEL
	save_progress: EV_HORIZONTAL_PROGRESS_BAR

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

	open_file
			-- Called by `select_actions' of `open_menu_item'.
		deferred
		end

	save_file
			-- Called by `select_actions' of `save_menu_item'.
		deferred
		end

	save_file_as
			-- Called by `select_actions' of `save_as_menu_item'.
		deferred
		end

	exit
			-- Called by `select_actions' of `exit_menu_item'.
		deferred
		end

	word_wrapping_toggled
			-- Called by `select_actions' of `word_wrapping_menu_item'.
		deferred
		end

	show_paragraph_toolbar_selected
			-- Called by `select_actions' of `show_paragraph_toolbar'.
		deferred
		end

	font_selected
			-- Called by `select_actions' of `font_selection'.
		deferred
		end

	font_size_selected
			-- Called by `select_actions' of `size_selection'.
		deferred
		end

	color_selected
			-- Called by `select_actions' of `color_button'.
		deferred
		end

	background_color_selected
			-- Called by `select_actions' of `background_color_button'.
		deferred
		end

	bold_selected
			-- Called by `select_actions' of `bold_button'.
		deferred
		end

	italic_selected
			-- Called by `select_actions' of `italic_button'.
		deferred
		end

	underline_selected
			-- Called by `select_actions' of `underlined_button'.
		deferred
		end

	strike_through_selected
			-- Called by `select_actions' of `striked_through_button'.
		deferred
		end

	offset_changed (a_value: INTEGER)
			-- Called by `change_actions' of `vertical_offset'.
		deferred
		end

	left_alignment_selected
			-- Called by `select_actions' of `left_alignment_button'.
		deferred
		end

	center_alignment_selected
			-- Called by `select_actions' of `center_alignment_button'.
		deferred
		end

	right_alignment_selected
			-- Called by `select_actions' of `right_alignment_button'.
		deferred
		end

	justified_selected
			-- Called by `select_actions' of `justified_button'.
		deferred
		end

	left_margin_changed (a_value: INTEGER)
			-- Called by `change_actions' of `left_margin'.
		deferred
		end

	right_margin_changed (a_value: INTEGER)
			-- Called by `change_actions' of `right_margin'.
		deferred
		end

	top_spacing_changed (a_value: INTEGER)
			-- Called by `change_actions' of `top_spacing'.
		deferred
		end

	bottom_spacing_changed (a_value: INTEGER)
			-- Called by `change_actions' of `bottom_spacing'.
		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 MAIN_WINDOW_IMP