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 ABOUT_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 l_ev_vertical_box_1 create l_ev_horizontal_box_1 create l_ev_label_1 create l_ev_horizontal_box_2 create l_ev_label_2 create l_ev_horizontal_box_3 create l_ev_cell_1 create ok_button create l_ev_cell_2 -- Build_widget_structure. extend (l_ev_vertical_box_1) l_ev_vertical_box_1.extend (l_ev_horizontal_box_1) l_ev_horizontal_box_1.extend (l_ev_label_1) l_ev_vertical_box_1.extend (l_ev_horizontal_box_2) l_ev_horizontal_box_2.extend (l_ev_label_2) l_ev_vertical_box_1.extend (l_ev_horizontal_box_3) l_ev_horizontal_box_3.extend (l_ev_cell_1) l_ev_horizontal_box_3.extend (ok_button) l_ev_horizontal_box_3.extend (l_ev_cell_2) l_ev_vertical_box_1.set_padding_width (box_padding_width) l_ev_vertical_box_1.set_border_width (inner_border_width) l_ev_vertical_box_1.disable_item_expand (l_ev_horizontal_box_1) l_ev_vertical_box_1.disable_item_expand (l_ev_horizontal_box_2) l_ev_label_1.set_text ("EiffelDoc (1.0.0)") l_ev_label_2.set_text ("Copyright (C) Eiffel Software Inc. 1985-2005 All Rights Reserved") l_ev_horizontal_box_3.disable_item_expand (ok_button) ok_button.set_text ("OK") ok_button.set_minimum_width (button_width) set_minimum_height (100) set_title ("About EiffelDoc...") --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 l_ev_cell_1: EV_CELL l_ev_cell_2: EV_CELL ok_button: EV_BUTTON l_ev_horizontal_box_1: EV_HORIZONTAL_BOX l_ev_horizontal_box_2: EV_HORIZONTAL_BOX l_ev_horizontal_box_3: EV_HORIZONTAL_BOX l_ev_vertical_box_1: EV_VERTICAL_BOX l_ev_label_1: EV_LABEL l_ev_label_2: 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 ABOUT_DIALOG_IMP