INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Small pop-up window that displays a single line of ", "descriptive text giving the purpose of tools. ", "note: The common controls dll (WEL_COMMON_CONTROLS_DLL) ", " needs to be loaded to use this control. ", "WEL: library of reusable components for Eiffel. ", "Based on WEL library for ISE Eiffel, used with permission. "
project: "Windows Eiffel Library"
copyright: "(c) 1986-1997 Interactive Software Engineering Inc. ", "Modifications and extensions: ", "(c) 1997-2001 Object Tools ", "All rights reserved. Duplication and distribution prohibited", "May be used only with Visual Eiffel under terms of user ", "license "
cluster: wel
class WEL_TOOLTIP
inherit

WEL_CONTROL
end

WEL_TTM_CONSTANTS
export
{NONE}
all
end

WEL_TTS_CONSTANTS
export
{NONE}
all
end

WEL_TTDT_CONSTANTS
export
{NONE}
all
end
creation

make,
make_by_id
feature {NONE}-- Initialization

make (a_parent: WEL_WINDOW; an_id: INTEGER)
-- Create a tooltip control with `a_parent' as parent
-- and `an_id' as id.
require
a_parent_not_void: a_parent /= void
ensure
exists: exists
parent_set: parent = a_parent
id_set: id = an_id
feature -- Access

i_th_tool_info (index: INTEGER): WEL_TOOL_INFO
-- Tool info structure at the zero-based `index'
require
exists: exists
index_large_enough: index >= 0
index_small_enough: index < count
ensure
result_not_void: Result /= void
feature -- Status report

count: INTEGER
-- Count of tools
require
exists: exists
ensure
positive_result: Result >= 0
feature -- Status setting

activate
-- Activate the tooltip control.
require
exists: exists

deactivate
-- Deactivate the tooltip control.
require
exists: exists

set_automatic_delay_time (delay: INTEGER)
-- Set automatically the initial, reshow, and
-- autopopup durations based on the value of
-- `delay' (in milliseconds).
require
exists: exists
positive_delay: delay >= 0

set_autopop_delay_time (delay: INTEGER)
-- Set the length of time (in milliseconds) before the
-- tooltip window is hidden if the cursor remains
-- stationary in the tool's bounding rectangle after
-- the tooltip window has appeared.
require
exists: exists
positive_delay: delay >= 0

set_initial_delay_time (delay: INTEGER)
-- Set the length of time (in milliseconds) that the
-- cursor must remain stationary within the bounding
-- rectangle of a tool before the tooltip window is
-- displayed.
require
exists: exists
positive_delay: delay >= 0

set_reshow_delay_time (delay: INTEGER)
-- Set the length of the delay (in milliseconds) before
-- subsequent tooltip windows are displayed when the
-- cursor is moved from one tool to another.
require
exists: exists
positive_delay: delay >= 0
feature -- Basic operations

add_tool (tool_info: WEL_TOOL_INFO)
-- Add a new `tool_info' in the tooltip control.
require
exists: exists
tool_info_not_void: tool_info /= void
ensure
count_increased: count = count + 1

delete_tool (index: INTEGER)
-- Delete the tool at the zero-based `index'.
require
exists: exists
index_large_enough: index >= 0
index_small_enough: index < count
ensure
count_decreased: count = count - 1
end -- class WEL_TOOLTIP

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES