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 DOC_BUILDER_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 is -- Initialize `Current'. do Precursor {EV_TITLED_WINDOW} initialize_constants -- Create all widgets. create l_ev_menu_bar_1 create file_menu create new_menu_item create l_ev_menu_separator_1 create open_menu_item create open_project_menu_item create l_ev_menu_separator_2 create save_menu_item create l_ev_menu_separator_3 create close_menu_item create document_menu create cut_menu_item create copy_menu_item create paste_menu_item create l_ev_menu_separator_4 create doc_format create menu_uppercase_tags create l_ev_menu_separator_5 create parser_menu_item create l_ev_menu_separator_6 create search_menu_item create view_menu create element_selector_menu create types_selector_menu create doc_selector_menu create attribute_selector_menu create sub_element_menu create output_sub_menu create all_output_doc_item create studio_output_doc_item create envision_ouput_doc_item create project_menu create settings_menu_item create tool_menu create validator_menu_item create gen_menu_item create expression_menu_item create help_menu create about_menu_item create l_ev_vertical_box_1 create l_ev_frame_1 create main_toolbar create toolbar_new create toolbar_open create toolbar_save create l_ev_tool_bar_separator_1 create toolbar_cut create toolbar_copy create toolbar_paste create l_ev_tool_bar_separator_2 create toolbar_xml_format create l_ev_tool_bar_separator_3 create toolbar_validate create toolbar_properties create l_ev_tool_bar_separator_4 create toolbar_web create toolbar_studio create toolbar_envision create l_ev_vertical_split_area_1 create l_ev_horizontal_split_area_1 create left_tool create l_ev_vertical_box_2 create main_tool create l_ev_horizontal_box_1 create l_ev_label_1 create l_ev_cell_1 create l_ev_cell_2 create l_ev_tool_bar_5 create main_close create l_ev_vertical_split_area_2 create selector create documentation_area create document_selector create toc_container create l_ev_vertical_split_area_3 create toc_area create toc_vertical_toolbar create toc_new_button create toc_open_button create toc_save_button create toc_properties_button create l_ev_cell_3 create toc_new_heading create toc_new_page create toc_remove_topic create l_ev_cell_4 create toc_menu_button create l_ev_cell_5 create document_toc create node_properties_tool create node_properties_area create l_ev_frame_2 create l_ev_horizontal_box_2 create l_ev_label_2 create l_ev_cell_6 create l_ev_cell_7 create l_ev_tool_bar_6 create node_properties_close create node_properties_list create element_area create element_split_area create element_selector create attribute_list_tool create l_ev_vertical_box_3 create l_ev_frame_3 create l_ev_horizontal_box_3 create l_ev_label_3 create l_ev_cell_8 create l_ev_cell_9 create l_ev_tool_bar_7 create attribute_list_close create attribute_list create type_area create type_selector create sub_element_tool create l_ev_vertical_box_4 create l_ev_frame_4 create l_ev_horizontal_box_4 create title_label create l_ev_cell_10 create l_ev_cell_11 create l_ev_tool_bar_8 create sub_element_close create sub_elements_list create editor_tool create l_ev_vertical_box_5 create l_ev_frame_5 create l_ev_horizontal_box_5 create l_ev_label_4 create l_ev_cell_12 create l_ev_cell_13 create l_ev_tool_bar_9 create editor_close create document_area create l_ev_horizontal_box_6 create document_editor create document_status_bar create l_ev_frame_6 create report_label create l_ev_frame_7 create line_pos_label -- Build_widget_structure. set_menu_bar (l_ev_menu_bar_1) l_ev_menu_bar_1.extend (file_menu) file_menu.extend (new_menu_item) file_menu.extend (l_ev_menu_separator_1) file_menu.extend (open_menu_item) file_menu.extend (open_project_menu_item) file_menu.extend (l_ev_menu_separator_2) file_menu.extend (save_menu_item) file_menu.extend (l_ev_menu_separator_3) file_menu.extend (close_menu_item) l_ev_menu_bar_1.extend (document_menu) document_menu.extend (cut_menu_item) document_menu.extend (copy_menu_item) document_menu.extend (paste_menu_item) document_menu.extend (l_ev_menu_separator_4) document_menu.extend (doc_format) doc_format.extend (menu_uppercase_tags) document_menu.extend (l_ev_menu_separator_5) document_menu.extend (parser_menu_item) document_menu.extend (l_ev_menu_separator_6) document_menu.extend (search_menu_item) l_ev_menu_bar_1.extend (view_menu) view_menu.extend (element_selector_menu) view_menu.extend (types_selector_menu) view_menu.extend (doc_selector_menu) view_menu.extend (attribute_selector_menu) view_menu.extend (sub_element_menu) view_menu.extend (output_sub_menu) output_sub_menu.extend (all_output_doc_item) output_sub_menu.extend (studio_output_doc_item) output_sub_menu.extend (envision_ouput_doc_item) l_ev_menu_bar_1.extend (project_menu) project_menu.extend (settings_menu_item) l_ev_menu_bar_1.extend (tool_menu) tool_menu.extend (validator_menu_item) tool_menu.extend (gen_menu_item) tool_menu.extend (expression_menu_item) l_ev_menu_bar_1.extend (help_menu) help_menu.extend (about_menu_item) extend (l_ev_vertical_box_1) l_ev_vertical_box_1.extend (l_ev_frame_1) l_ev_frame_1.extend (main_toolbar) main_toolbar.extend (toolbar_new) main_toolbar.extend (toolbar_open) main_toolbar.extend (toolbar_save) main_toolbar.extend (l_ev_tool_bar_separator_1) main_toolbar.extend (toolbar_cut) main_toolbar.extend (toolbar_copy) main_toolbar.extend (toolbar_paste) main_toolbar.extend (l_ev_tool_bar_separator_2) main_toolbar.extend (toolbar_xml_format) main_toolbar.extend (l_ev_tool_bar_separator_3) main_toolbar.extend (toolbar_validate) main_toolbar.extend (toolbar_properties) main_toolbar.extend (l_ev_tool_bar_separator_4) main_toolbar.extend (toolbar_web) main_toolbar.extend (toolbar_studio) main_toolbar.extend (toolbar_envision) l_ev_vertical_box_1.extend (l_ev_vertical_split_area_1) l_ev_vertical_split_area_1.extend (l_ev_horizontal_split_area_1) l_ev_horizontal_split_area_1.extend (left_tool) left_tool.extend (l_ev_vertical_box_2) l_ev_vertical_box_2.extend (main_tool) main_tool.extend (l_ev_horizontal_box_1) 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_horizontal_box_1.extend (l_ev_tool_bar_5) l_ev_tool_bar_5.extend (main_close) l_ev_vertical_box_2.extend (l_ev_vertical_split_area_2) l_ev_vertical_split_area_2.extend (selector) selector.extend (documentation_area) documentation_area.extend (document_selector) selector.extend (toc_container) toc_container.extend (l_ev_vertical_split_area_3) l_ev_vertical_split_area_3.extend (toc_area) toc_area.extend (toc_vertical_toolbar) toc_vertical_toolbar.extend (toc_new_button) toc_vertical_toolbar.extend (toc_open_button) toc_vertical_toolbar.extend (toc_save_button) toc_vertical_toolbar.extend (toc_properties_button) toc_vertical_toolbar.extend (l_ev_cell_3) toc_vertical_toolbar.extend (toc_new_heading) toc_vertical_toolbar.extend (toc_new_page) toc_vertical_toolbar.extend (toc_remove_topic) toc_vertical_toolbar.extend (l_ev_cell_4) toc_vertical_toolbar.extend (toc_menu_button) toc_vertical_toolbar.extend (l_ev_cell_5) toc_area.extend (document_toc) l_ev_vertical_split_area_3.extend (node_properties_tool) node_properties_tool.extend (node_properties_area) node_properties_area.extend (l_ev_frame_2) l_ev_frame_2.extend (l_ev_horizontal_box_2) l_ev_horizontal_box_2.extend (l_ev_label_2) l_ev_horizontal_box_2.extend (l_ev_cell_6) l_ev_horizontal_box_2.extend (l_ev_cell_7) l_ev_horizontal_box_2.extend (l_ev_tool_bar_6) l_ev_tool_bar_6.extend (node_properties_close) node_properties_area.extend (node_properties_list) selector.extend (element_area) element_area.extend (element_split_area) element_split_area.extend (element_selector) element_split_area.extend (attribute_list_tool) attribute_list_tool.extend (l_ev_vertical_box_3) l_ev_vertical_box_3.extend (l_ev_frame_3) l_ev_frame_3.extend (l_ev_horizontal_box_3) l_ev_horizontal_box_3.extend (l_ev_label_3) l_ev_horizontal_box_3.extend (l_ev_cell_8) l_ev_horizontal_box_3.extend (l_ev_cell_9) l_ev_horizontal_box_3.extend (l_ev_tool_bar_7) l_ev_tool_bar_7.extend (attribute_list_close) l_ev_vertical_box_3.extend (attribute_list) selector.extend (type_area) type_area.extend (type_selector) l_ev_vertical_split_area_2.extend (sub_element_tool) sub_element_tool.extend (l_ev_vertical_box_4) l_ev_vertical_box_4.extend (l_ev_frame_4) l_ev_frame_4.extend (l_ev_horizontal_box_4) l_ev_horizontal_box_4.extend (title_label) l_ev_horizontal_box_4.extend (l_ev_cell_10) l_ev_horizontal_box_4.extend (l_ev_cell_11) l_ev_horizontal_box_4.extend (l_ev_tool_bar_8) l_ev_tool_bar_8.extend (sub_element_close) l_ev_vertical_box_4.extend (sub_elements_list) l_ev_horizontal_split_area_1.extend (editor_tool) editor_tool.extend (l_ev_vertical_box_5) l_ev_vertical_box_5.extend (l_ev_frame_5) l_ev_frame_5.extend (l_ev_horizontal_box_5) l_ev_horizontal_box_5.extend (l_ev_label_4) l_ev_horizontal_box_5.extend (l_ev_cell_12) l_ev_horizontal_box_5.extend (l_ev_cell_13) l_ev_horizontal_box_5.extend (l_ev_tool_bar_9) l_ev_tool_bar_9.extend (editor_close) l_ev_vertical_box_5.extend (document_area) document_area.extend (l_ev_horizontal_box_6) l_ev_horizontal_box_6.extend (document_editor) document_area.extend (document_status_bar) document_status_bar.extend (l_ev_frame_6) l_ev_frame_6.extend (report_label) document_status_bar.extend (l_ev_frame_7) l_ev_frame_7.extend (line_pos_label) set_minimum_width (1024) set_minimum_height (768) set_title ("Document Builder") file_menu.set_text ("File") new_menu_item.set_text ("New..") open_menu_item.set_text ("Open..") open_menu_item.set_pixmap (icon_open_file_ico) open_project_menu_item.set_text ("Open Project..") save_menu_item.disable_sensitive save_menu_item.set_text ("Save") save_menu_item.set_pixmap (icon_save_ico) close_menu_item.set_text ("Close") close_menu_item.set_pixmap (icon_close_color_ico) document_menu.set_text ("Edit") cut_menu_item.disable_sensitive cut_menu_item.set_text ("Cut") copy_menu_item.disable_sensitive copy_menu_item.set_text ("Copy") paste_menu_item.disable_sensitive paste_menu_item.set_text ("Paste") doc_format.set_text ("Format") menu_uppercase_tags.set_text ("Tags uppercase") parser_menu_item.set_text ("Parser...") search_menu_item.set_text ("Search...") view_menu.set_text ("View") element_selector_menu.enable_select element_selector_menu.set_text ("Schema elements") types_selector_menu.enable_select types_selector_menu.set_text ("Schema types") doc_selector_menu.enable_select doc_selector_menu.set_text ("Document editor") attribute_selector_menu.enable_select attribute_selector_menu.set_text ("Element/Type attributes") sub_element_menu.enable_select sub_element_menu.set_text ("Sub element selector") output_sub_menu.set_text ("Output documents") all_output_doc_item.set_text ("All output types") studio_output_doc_item.set_text ("EiffelStudio") envision_ouput_doc_item.set_text ("ENViSioN!") project_menu.set_text ("Project") settings_menu_item.set_text ("Settings..") tool_menu.set_text ("Tools") validator_menu_item.set_text ("Validator..") gen_menu_item.set_text ("Generator..") expression_menu_item.set_text ("Expression Builder..") help_menu.set_text ("Help") about_menu_item.set_text ("About..") l_ev_vertical_box_1.set_padding_width (2) l_ev_vertical_box_1.disable_item_expand (l_ev_frame_1) l_ev_frame_1.set_minimum_height (30) main_toolbar.set_minimum_height (22) toolbar_new.set_tooltip ("New") toolbar_new.set_pixmap (icon_new_doc_ico) toolbar_open.set_tooltip ("Open") toolbar_open.set_pixmap (icon_open_file_ico) toolbar_save.disable_sensitive toolbar_save.set_tooltip ("Save") toolbar_save.set_pixmap (icon_save_ico) toolbar_cut.disable_sensitive toolbar_cut.set_tooltip ("Cut") toolbar_cut.set_pixmap (icon_cut_color_ico) toolbar_copy.disable_sensitive toolbar_copy.set_tooltip ("Copy") toolbar_copy.set_pixmap (icon_copy_color_ico) toolbar_paste.disable_sensitive toolbar_paste.set_tooltip ("Paste") toolbar_paste.set_pixmap (icon_paste_ico) toolbar_xml_format.disable_sensitive toolbar_xml_format.set_tooltip ("Pretty XML") toolbar_xml_format.set_pixmap (icon_format_text_color_ico) toolbar_validate.disable_sensitive toolbar_validate.set_tooltip ("Validate document against schema") toolbar_validate.set_pixmap (icon_validate_ico) toolbar_properties.disable_sensitive toolbar_properties.set_tooltip ("Document Properties") toolbar_properties.set_pixmap (icon_info_ico) toolbar_web.set_tooltip ("Unfiltered") toolbar_web.set_pixmap (icon_ie_ico) toolbar_studio.set_tooltip ("Filter for EiffelStudo") toolbar_studio.set_pixmap (icon_studio_ico) toolbar_envision.set_tooltip ("Filter for ENViSioN!") toolbar_envision.set_pixmap (icon_envision_ico) left_tool.set_style (1) l_ev_vertical_box_2.disable_item_expand (main_tool) main_tool.set_style (2) l_ev_horizontal_box_1.set_padding_width (padding_width) l_ev_horizontal_box_1.set_border_width (border_width) l_ev_horizontal_box_1.disable_item_expand (l_ev_tool_bar_5) l_ev_label_1.set_text (" Browser") l_ev_label_1.align_text_left main_close.set_pixmap (icon_close_color_ico) selector.set_minimum_width (200) selector.set_minimum_height (320) selector.set_item_text (documentation_area, "Project Files") selector.set_item_text (toc_container, "TOC View") selector.set_item_text (element_area, "Schema Elements") selector.set_item_text (type_area, "Types") documentation_area.set_padding_width (padding_width) documentation_area.set_border_width (border_width) toc_area.set_minimum_height (350) toc_area.set_padding_width (5) toc_area.set_border_width (2) toc_area.disable_item_expand (toc_vertical_toolbar) toc_vertical_toolbar.set_border_width (2) toc_vertical_toolbar.disable_item_expand (toc_new_button) toc_vertical_toolbar.disable_item_expand (toc_open_button) toc_vertical_toolbar.disable_item_expand (toc_save_button) toc_vertical_toolbar.disable_item_expand (toc_properties_button) toc_vertical_toolbar.disable_item_expand (l_ev_cell_3) toc_vertical_toolbar.disable_item_expand (toc_new_heading) toc_vertical_toolbar.disable_item_expand (toc_new_page) toc_vertical_toolbar.disable_item_expand (toc_remove_topic) toc_vertical_toolbar.disable_item_expand (l_ev_cell_4) toc_vertical_toolbar.disable_item_expand (toc_menu_button) toc_new_button.set_tooltip ("New Table of Contents") toc_new_button.set_pixmap (icon_new_doc_ico) toc_open_button.set_tooltip ("Open Table of Contents") toc_open_button.set_pixmap (icon_open_file_ico) toc_save_button.set_tooltip ("Save") toc_save_button.set_minimum_width (24) toc_save_button.set_minimum_height (24) toc_save_button.set_pixmap (icon_save_ico) toc_properties_button.set_tooltip ("Sort/Filter Table of Contents") toc_properties_button.set_pixmap (icon_new_editor_color_ico) l_ev_cell_3.set_minimum_height (20) toc_new_heading.set_tooltip ("New Topic Heading") toc_new_heading.set_pixmap (icon_toc_folder_open_ico) toc_new_page.set_tooltip ("New Topic File") toc_new_page.set_pixmap (icon_format_text_color_ico) toc_remove_topic.set_tooltip ("Delete Topic") toc_remove_topic.set_pixmap (icon_file_close_ico) l_ev_cell_4.set_minimum_height (20) toc_menu_button.set_tooltip ("Loaded Table of Contents") toc_menu_button.set_pixmap (icon_toc_folder_closed_ico) node_properties_tool.set_style (1) node_properties_area.set_minimum_height (100) node_properties_area.disable_item_expand (l_ev_frame_2) l_ev_frame_2.set_style (2) l_ev_horizontal_box_2.set_padding_width (padding_width) l_ev_horizontal_box_2.set_border_width (border_width) l_ev_horizontal_box_2.disable_item_expand (l_ev_tool_bar_6) l_ev_label_2.set_text (" Properties") l_ev_label_2.align_text_left node_properties_close.set_pixmap (icon_close_color_ico) element_area.set_padding_width (padding_width) element_area.set_border_width (border_width) element_selector.set_minimum_height (200) attribute_list_tool.set_style (1) l_ev_vertical_box_3.disable_item_expand (l_ev_frame_3) l_ev_frame_3.set_style (2) l_ev_horizontal_box_3.disable_item_expand (l_ev_tool_bar_7) l_ev_label_3.set_text (" Attributes") l_ev_label_3.align_text_left attribute_list.set_minimum_height (90) type_area.set_padding_width (padding_width) type_area.set_border_width (border_width) sub_element_tool.set_style (1) l_ev_vertical_box_4.disable_item_expand (l_ev_frame_4) l_ev_frame_4.set_style (2) l_ev_horizontal_box_4.set_padding_width (padding_width) l_ev_horizontal_box_4.set_border_width (border_width) l_ev_horizontal_box_4.disable_item_expand (l_ev_tool_bar_8) title_label.set_text (" Sub Elements") title_label.align_text_left sub_element_close.set_pixmap (icon_close_color_ico) editor_tool.set_style (1) l_ev_vertical_box_5.disable_item_expand (l_ev_frame_5) l_ev_frame_5.set_style (2) l_ev_horizontal_box_5.disable_item_expand (l_ev_tool_bar_9) l_ev_label_4.set_text (" Editor") l_ev_label_4.align_text_left editor_close.disable_sensitive editor_close.set_pixmap (icon_close_color_ico) document_area.disable_item_expand (document_status_bar) document_editor.set_minimum_height (200) document_status_bar.set_minimum_height (25) document_status_bar.set_padding_width (2) document_status_bar.set_border_width (2) document_status_bar.disable_item_expand (l_ev_frame_7) l_ev_frame_6.set_style (1) report_label.set_minimum_width (250) report_label.set_minimum_height (13) report_label.align_text_left l_ev_frame_7.set_style (1) line_pos_label.set_minimum_width (70) line_pos_label.set_minimum_height (13) --Connect events. -- 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 l_ev_menu_bar_1: EV_MENU_BAR file_menu, document_menu, doc_format, view_menu, output_sub_menu, project_menu, tool_menu, help_menu: EV_MENU new_menu_item, open_menu_item, open_project_menu_item, save_menu_item, close_menu_item, cut_menu_item, copy_menu_item, paste_menu_item, parser_menu_item, search_menu_item, settings_menu_item, validator_menu_item, gen_menu_item, expression_menu_item, about_menu_item: EV_MENU_ITEM l_ev_menu_separator_1, l_ev_menu_separator_2, l_ev_menu_separator_3, l_ev_menu_separator_4, l_ev_menu_separator_5, l_ev_menu_separator_6: EV_MENU_SEPARATOR menu_uppercase_tags, element_selector_menu, types_selector_menu, doc_selector_menu, attribute_selector_menu, sub_element_menu: EV_CHECK_MENU_ITEM all_output_doc_item, studio_output_doc_item, envision_ouput_doc_item: EV_RADIO_MENU_ITEM l_ev_vertical_box_1, l_ev_vertical_box_2, documentation_area, toc_container, toc_vertical_toolbar, node_properties_area, element_area, l_ev_vertical_box_3, type_area, l_ev_vertical_box_4, l_ev_vertical_box_5, document_area: EV_VERTICAL_BOX l_ev_frame_1, left_tool, main_tool, node_properties_tool, l_ev_frame_2, attribute_list_tool, l_ev_frame_3, sub_element_tool, l_ev_frame_4, editor_tool, l_ev_frame_5, l_ev_frame_6, l_ev_frame_7: EV_FRAME main_toolbar, l_ev_tool_bar_5, l_ev_tool_bar_6, l_ev_tool_bar_7, l_ev_tool_bar_8, l_ev_tool_bar_9: EV_TOOL_BAR toolbar_new, toolbar_open, toolbar_save, toolbar_cut, toolbar_copy, toolbar_paste, toolbar_xml_format, toolbar_validate, toolbar_properties, main_close, node_properties_close, attribute_list_close, sub_element_close, editor_close: EV_TOOL_BAR_BUTTON 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 toolbar_web, toolbar_studio, toolbar_envision: EV_TOOL_BAR_RADIO_BUTTON l_ev_vertical_split_area_1, l_ev_vertical_split_area_2, l_ev_vertical_split_area_3, element_split_area: EV_VERTICAL_SPLIT_AREA l_ev_horizontal_split_area_1: EV_HORIZONTAL_SPLIT_AREA l_ev_horizontal_box_1, toc_area, 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, document_status_bar: EV_HORIZONTAL_BOX l_ev_label_1, l_ev_label_2, l_ev_label_3, title_label, l_ev_label_4, report_label, line_pos_label: 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, l_ev_cell_10, l_ev_cell_11, l_ev_cell_12, l_ev_cell_13: EV_CELL selector, document_editor: EV_NOTEBOOK document_selector, document_toc, element_selector, type_selector: EV_TREE toc_new_button, toc_open_button, toc_save_button, toc_properties_button, toc_new_heading, toc_new_page, toc_remove_topic, toc_menu_button: EV_BUTTON node_properties_list, attribute_list: EV_MULTI_COLUMN_LIST sub_elements_list: EV_LIST 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 end -- class DOC_BUILDER_WINDOW_IMP