note description: "Objects that demonstrate EV_HEADER" legal: "See notice at end of class." status: "See notice at end of class." date: "$Date$" revision: "$Revision$" class HEADER_BASIC_TEST inherit COMMON_TEST redefine default_create end feature {NONE} -- Initialization default_create -- Create `Current' and initialize test in `widget'. local counter: INTEGER header_item: EV_HEADER_ITEM do create header from counter := 1 until counter > 5 loop create header_item.make_with_text ("Item " + counter.out) header.extend (header_item) counter := counter + 1 end -- We set a reasonable minimum height based on the height of the default -- font as retrieved from an EV_LABEL. header.set_minimum_size (300, (create {EV_LABEL}).minimum_height + 3) widget := header end feature {NONE} -- Implementation header: EV_HEADER; -- Widget that test is to be performed on. note copyright: "Copyright (c) 1984-2006, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" 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 HEADER_TEST