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 PROGRESS_DIALOG_IMP inherit EV_DIALOG redefine initialize, is_in_default_state end 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'. do Precursor {EV_DIALOG} initialize_constants -- Create all widgets. create cancel_button create l_ev_vertical_box_1 create progress_bar create l_ev_vertical_box_2 create heading_label create l_ev_vertical_box_3 create status_label -- Build_widget_structure. extend (cancel_button) cancel_button.extend (l_ev_vertical_box_1) l_ev_vertical_box_1.extend (progress_bar) cancel_button.extend (l_ev_vertical_box_2) l_ev_vertical_box_2.extend (heading_label) cancel_button.extend (l_ev_vertical_box_3) l_ev_vertical_box_3.extend (status_label) cancel_button.set_padding_width (5) cancel_button.set_border_width (2) cancel_button.disable_item_expand (l_ev_vertical_box_1) cancel_button.disable_item_expand (l_ev_vertical_box_2) cancel_button.disable_item_expand (l_ev_vertical_box_3) l_ev_vertical_box_1.set_padding_width (5) l_ev_vertical_box_1.set_border_width (inner_border_width) l_ev_vertical_box_1.disable_item_expand (progress_bar) progress_bar.set_minimum_width (15) progress_bar.set_minimum_height (25) progress_bar.set_leap (1) l_ev_vertical_box_2.set_padding_width (5) l_ev_vertical_box_2.set_border_width (inner_border_width) heading_label.align_text_left l_ev_vertical_box_3.set_padding_width (5) l_ev_vertical_box_3.set_border_width (inner_border_width) l_ev_vertical_box_3.disable_item_expand (status_label) status_label.align_text_left set_minimum_width (dialog_width) set_minimum_height (dialog_short_height) disable_user_resize set_maximum_width (dialog_width) set_maximum_height (dialog_tall_height) set_title ("Progress") --Connect events. -- 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 progress_bar: EV_HORIZONTAL_PROGRESS_BAR cancel_button: EV_VERTICAL_BOX l_ev_vertical_box_1: EV_VERTICAL_BOX l_ev_vertical_box_2: EV_VERTICAL_BOX l_ev_vertical_box_3: EV_VERTICAL_BOX heading_label: EV_LABEL status_label: EV_LABEL 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 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 PROGRESS_DIALOG_IMP