note description: "Objects that represent an EV_DIALOG.% %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 ECDM_CONFIGURATION_PROPERTIES_DIALOG_IMP inherit EV_DIALOG redefine initialize, is_in_default_state end ECDM_CONSTANTS undefine is_equal, default_create, copy end -- This class is the implementation of an EV_DIALOG 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 internal_font: EV_FONT do Precursor {EV_DIALOG} initialize_constants -- Create all widgets. create main_box create top_box create configuration_pixmap create name_text_label create l_ev_horizontal_separator_1 create location_box create location_title_label create location_text_field create l_ev_horizontal_separator_2 create file_properties_table create created_title_label create created_label create modified_title_label create modified_label create l_ev_horizontal_separator_3 create applications_box create applications_label create applications_list create l_ev_horizontal_separator_4 create buttons_box create left_button_cell create ok_button create right_button_cell -- Build_widget_structure. extend (main_box) main_box.extend (top_box) top_box.extend (configuration_pixmap) top_box.extend (name_text_label) main_box.extend (l_ev_horizontal_separator_1) main_box.extend (location_box) location_box.extend (location_title_label) location_box.extend (location_text_field) main_box.extend (l_ev_horizontal_separator_2) main_box.extend (file_properties_table) main_box.extend (l_ev_horizontal_separator_3) main_box.extend (applications_box) applications_box.extend (applications_label) applications_box.extend (applications_list) main_box.extend (l_ev_horizontal_separator_4) main_box.extend (buttons_box) buttons_box.extend (left_button_cell) buttons_box.extend (ok_button) buttons_box.extend (right_button_cell) main_box.disable_item_expand (top_box) main_box.disable_item_expand (l_ev_horizontal_separator_1) main_box.disable_item_expand (location_box) main_box.disable_item_expand (l_ev_horizontal_separator_2) main_box.disable_item_expand (file_properties_table) main_box.disable_item_expand (l_ev_horizontal_separator_3) main_box.disable_item_expand (l_ev_horizontal_separator_4) main_box.disable_item_expand (buttons_box) top_box.set_minimum_height (50) top_box.set_padding_width (5) top_box.set_border_width (5) top_box.disable_item_expand (configuration_pixmap) top_box.disable_item_expand (name_text_label) configuration_pixmap.set_minimum_width (40) configuration_pixmap.copy (configuration_properties_png) create internal_font internal_font.set_family ({EV_FONT_CONSTANTS}.Family_sans) internal_font.set_weight ({EV_FONT_CONSTANTS}.Weight_bold) internal_font.set_shape ({EV_FONT_CONSTANTS}.Shape_regular) internal_font.set_height_in_points (10) internal_font.preferred_families.extend ("Microsoft Sans Serif") name_text_label.set_font (internal_font) name_text_label.align_text_left location_box.set_padding_width (5) location_box.set_border_width (7) location_box.disable_item_expand (location_title_label) location_title_label.set_text ("Location:") location_title_label.align_text_left location_text_field.disable_edit file_properties_table.resize (2, 4) file_properties_table.set_row_spacing (12) file_properties_table.set_column_spacing (5) file_properties_table.set_border_width (7) -- Insert and position all children of `file_properties_table'. file_properties_table.put_at_position (created_title_label, 1, 2, 1, 1) file_properties_table.put_at_position (created_label, 2, 2, 1, 1) file_properties_table.put_at_position (modified_title_label, 1, 3, 1, 1) file_properties_table.put_at_position (modified_label, 2, 3, 1, 1) created_title_label.set_text ("Created:") created_title_label.align_text_left created_label.align_text_left modified_title_label.set_text ("Modified:") modified_title_label.align_text_left modified_label.align_text_left applications_box.set_padding_width (10) applications_box.set_border_width (7) applications_box.disable_item_expand (applications_label) applications_label.set_text ("Configured applications:") applications_label.align_text_left buttons_box.set_padding_width (5) buttons_box.set_border_width (7) buttons_box.disable_item_expand (ok_button) ok_button.set_text ("OK") ok_button.set_minimum_width (100) set_minimum_width (300) set_minimum_height (400) disable_user_resize set_title ("Configuration Properties") --Connect events. ok_button.select_actions.extend (agent on_ok) -- 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 applications_list: EV_LIST left_button_cell, right_button_cell: EV_CELL file_properties_table: EV_TABLE ok_button: EV_BUTTON configuration_pixmap: EV_PIXMAP top_box, location_box, buttons_box: EV_HORIZONTAL_BOX main_box, applications_box: EV_VERTICAL_BOX name_text_label, location_title_label, created_title_label, created_label, modified_title_label, modified_label, applications_label: EV_LABEL location_text_field: EV_TEXT_FIELD feature {NONE} -- Implementation l_ev_horizontal_separator_1, l_ev_horizontal_separator_2, l_ev_horizontal_separator_3, l_ev_horizontal_separator_4: EV_HORIZONTAL_SEPARATOR 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 on_ok -- Called by `select_actions' of `ok_button'. deferred end note copyright: "Copyright (c) 1984-2006, Eiffel Software" license: "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)" licensing_options: "http://www.eiffel.com/licensing" copying: "[ This file is part of Eiffel Software's Eiffel Development Environment. Eiffel Software's Eiffel Development Environment is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, version 2 of the License (available at the URL listed under "license" above). Eiffel Software's Eiffel Development Environment is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with Eiffel Software's Eiffel Development Environment; if not, write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA ]" 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 ECDM_CONFIGURATION_PROPERTIES_DIALOG_IMP