indexing description: "Objects that ..." legal: "See notice at end of class." status: "See notice at end of class." author: "" date: "$Date$" revision: "$Revision$" class EV_HEADER_ITEM_IMP inherit EV_HEADER_ITEM_I redefine interface end EV_ITEM_ACTION_SEQUENCES_IMP EV_PICK_AND_DROPABLE_ACTION_SEQUENCES_IMP EV_TEXTABLE_IMP redefine interface end EV_PIXMAPABLE_IMP redefine interface end create make feature -- Initialization carbon_arrange_children is do end needs_event_box: BOOLEAN is False make (an_interface: like interface) is -- Create the tree item. do end initialize is -- Initialize the header item. do end handle_resize is -- Call the appropriate actions for the header item resize do end feature -- Access width: INTEGER -- Width of `Current' in pixels. minimum_width: INTEGER -- Lower bound on `width' in pixels. maximum_width: INTEGER -- Upper bound on `width' in pixels. user_can_resize: BOOLEAN -- Can a user resize `Current'? disable_user_resize is -- Prevent `Current' from being resized by users. do end enable_user_resize is -- Permit `Current' to be resized by users. do end feature -- Status setting set_maximum_width (a_width: INTEGER) is -- Assign `a_maximum_width' in pixels to `maximum_width'. -- If `width' is greater than `a_maximum_width', resize. do end set_minimum_width (a_width: INTEGER) is -- Assign `a_minimum_width' in pixels to `minimum_width'. -- If `width' is less than `a_minimum_width', resize. do end set_width (a_width: INTEGER) is -- Assign `a_width' to `width'. do end resize_to_content is -- Resize `Current' to fully display both `pixmap' and `text'. -- As size of `text' is dependent on `font' of `parent', `Current' -- must be parented. do end feature -- PND enable_transport is -- Enable PND transport do end disable_transport is -- Disable PND transport do end draw_rubber_band is do end erase_rubber_band is do end enable_capture is do end disable_capture is do end start_transport ( a_x, a_y, a_button: INTEGER; a_x_tilt, a_y_tilt, a_pressure: DOUBLE; a_screen_x, a_screen_y: INTEGER) is -- Start PND transport (not needed) do end end_transport (a_x, a_y, a_button: INTEGER; a_x_tilt, a_y_tilt, a_pressure: DOUBLE; a_screen_x, a_screen_y: INTEGER) is -- End PND transport (not needed) do end set_pointer_style, internal_set_pointer_style (curs: EV_CURSOR) is -- Set 'pointer_style' to 'curs' (not needed) do end feature {EV_GTK_DEPENDENT_INTERMEDIARY_ROUTINES} -- Event handling process_gdk_event (n_args: INTEGER; args: POINTER) is -- Process gtk events using raw marshal data. do end feature {EV_HEADER_IMP} -- Implementation set_parent_imp (par_imp: like parent_imp) is -- Set `parent_imp' to `par_imp'. do end item_event_id: INTEGER -- Item event id of `Current' parent_imp: EV_HEADER_IMP -- Parent of `Current' feature {NONE} -- Implementation default_box_height: INTEGER is -- Default height of the box. once end tree_view_column_width: INTEGER is -- `Result' is width of `Current' used -- while parented. do end box: POINTER -- Box to hold column text and pixmap. create_drop_actions: EV_PND_ACTION_SEQUENCE is do end feature {NONE} -- Redundant implementation real_pointed_target: EV_PICK_AND_DROPABLE is do end feature {NONE} -- Implementation destroy is -- Destroy `c_object'. do end interface: EV_HEADER_ITEM; -- Interface object of `Current'. indexing 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