note description: "Document browser interface layout." legal: "See notice at end of class." status: "See notice at end of class." date: "$Date$" revision: "$Revision$" deferred class DOCUMENT_BROWSER_IMP inherit EV_VERTICAL_BOX rename border_width as box_border_width, padding_width as box_padding_width redefine initialize end CONSTANTS undefine default_create, is_equal, copy end feature {NONE}-- Initialization initialize -- Initialize `Current'. do Precursor initialize_constants -- Create all widgets. create toolbar_box create l_ev_horizontal_box_1 create toolbar create refresh_button create l_ev_horizontal_box_2 create l_ev_label_1 create address_bar create browser_box -- Build_widget_structure. extend (toolbar_box) toolbar_box.extend (l_ev_horizontal_box_1) l_ev_horizontal_box_1.extend (toolbar) toolbar.extend (refresh_button) toolbar_box.extend (l_ev_horizontal_box_2) l_ev_horizontal_box_2.extend (l_ev_label_1) l_ev_horizontal_box_2.extend (address_bar) extend (browser_box) set_padding_width (padding_width) set_border_width (border_width) disable_item_expand (toolbar_box) toolbar_box.set_padding_width (padding_width) toolbar_box.set_border_width (border_width) toolbar_box.disable_item_expand (l_ev_horizontal_box_2) l_ev_horizontal_box_1.set_padding_width (padding_width) l_ev_horizontal_box_1.set_border_width (border_width) refresh_button.set_tooltip ("Refresh") refresh_button.set_pixmap (icon_refresh_ico) 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_label_1) l_ev_label_1.set_text ("Address") l_ev_label_1.align_text_left --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 toolbar_box, browser_box: EV_VERTICAL_BOX l_ev_horizontal_box_1, l_ev_horizontal_box_2: EV_HORIZONTAL_BOX toolbar: EV_TOOL_BAR refresh_button: EV_TOOL_BAR_BUTTON l_ev_label_1: EV_LABEL address_bar: EV_COMBO_BOX feature {NONE} -- Implementation 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 DOCUMENT_BROWSER_IMP