note description : "About Dialog, displaying general information about $EiffelGraphicalCompiler$" legal: "See notice at end of class." status: "See notice at end of class." date : "$Date$" revision : "$Revision$" class EB_ABOUT_DIALOG inherit EB_DIALOG SYSTEM_CONSTANTS undefine default_create, copy end EB_CONSTANTS export {NONE} all undefine default_create, copy end EV_STOCK_COLORS rename implementation as stock_colors_imp export {NONE} all undefine default_create, copy end EIFFEL_LAYOUT export {NONE} all undefine default_create, copy end create make feature -- Initialization make local eiffel_image: EV_PIXMAP eiffel_image_box: EV_VERTICAL_BOX eiffel_text_box: EV_VERTICAL_BOX texts_box: EV_VERTICAL_BOX vbox: EV_VERTICAL_BOX button_box: EV_HORIZONTAL_BOX hbox: EV_HORIZONTAL_BOX version_label: EV_LABEL copyright_label: EV_LABEL registration_label: EV_TEXT info_label: EV_LABEL hsep: EV_HORIZONTAL_SEPARATOR ok_button: EV_BUTTON white_cell: EV_CELL bg: EV_COLOR do default_create set_title (Interface_names.t_About) bg := Color_read_write -- Create controls. eiffel_image := Pixmaps.bm_About.twin eiffel_image.set_minimum_size (eiffel_image.width, eiffel_image.height) eiffel_image.set_background_color (bg) create eiffel_image_box eiffel_image_box.extend (eiffel_image) eiffel_image_box.disable_item_expand (eiffel_image) create white_cell white_cell.set_background_color (bg) eiffel_image_box.extend (white_cell) create info_label.make_with_text (t_info) info_label.align_text_left info_label.set_background_color (bg) create version_label.make_with_text (t_Version_info) version_label.align_text_left version_label.set_background_color (bg) create copyright_label.make_with_text (t_Copyright_info) copyright_label.align_text_left copyright_label.set_background_color (bg) create registration_label.make_with_text (registration_info) registration_label.set_background_color (bg) registration_label.disable_edit registration_label.set_minimum_height (100) create ok_button.make_with_text_and_action (Interface_names.b_Ok, agent destroy) Layout_constants.set_default_width_for_button (ok_button) -- Box with text. create eiffel_text_box eiffel_text_box.set_background_color (bg) eiffel_text_box.set_padding (Layout_constants.Default_padding_size) eiffel_text_box.extend (version_label) eiffel_text_box.disable_item_expand (version_label) eiffel_text_box.extend (copyright_label) eiffel_text_box.disable_item_expand (copyright_label) eiffel_text_box.extend (info_label) eiffel_text_box.disable_item_expand (info_label) eiffel_text_box.extend (registration_label) -- Texts box create texts_box texts_box.set_background_color (bg) texts_box.extend (eiffel_text_box) -- Box with left image + text create hbox hbox.set_padding (Layout_constants.Default_padding_size) hbox.set_border_width (Layout_constants.Default_border_size) hbox.set_background_color (bg) hbox.extend (eiffel_image_box) hbox.disable_item_expand (eiffel_image_box) hbox.extend (texts_box) -- Box where the Ok button is create button_box button_box.set_border_width (Layout_constants.Default_border_size) button_box.extend (create {EV_CELL}) button_box.extend (ok_button) button_box.disable_item_expand (ok_button) -- Box with everything in it. create vbox vbox.extend (hbox) -- Expandable item create hsep vbox.extend (hsep) vbox.disable_item_expand (hsep) vbox.extend (button_box) vbox.disable_item_expand (button_box) extend (vbox) set_default_push_button (ok_button) set_default_cancel_button (ok_button) end feature {NONE} -- Implementation registration_info: STRING_32 -- Clause in the about dialog concerning the license. do create Result.make (50) Result.append ("Installation information:%N") Result.append ("Version = " + t_version_info + "%N") Result.append (eiffel_layout.environment_info) end feature {NONE} -- Constant strings t_version_info: STRING once create Result.make (100) Result.append (Interface_names.t_Project) Result.append (" ") Result.append_integer (compiler_version_number.major) Result.append (".") Result.append_integer (compiler_version_number.minor) Result.append (" (") Result.append (Version_number) Result.append (")") if Version_info /= Void and then not Version_info.is_empty then Result.append ("%N") Result.append (Version_info) end end t_Copyright_info: STRING local c_date: C_DATE once create c_date Result := "Copyright (C) 1985-" + c_date.year_now.out + " Interactive Software Engineering Inc.%N% %All rights reserved" end t_info: STRING once create Result.make (500) Result.append ("[ Eiffel Software 5949 Hollister Ave., Goleta, CA 93117 USA Telephone: 805-685-1006 Fax: 805-685-6869 ]") Result.append_character ('%N') Result.append_character ('%N') Result.append ("[ Web Customer Support: https://support.eiffel.com Visit Eiffel on the Web: https://www.eiffel.com ]") end note copyright: "Copyright (c) 1984-2018, 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 5949 Hollister Ave., 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 EB_ABOUT_DIALOG