indexing
	description: "Button representing a LABEL context."
	date: "$Date$"
	revision: "$Revision$"

class
	FOCUSABLE_LABEL

inherit
	LABEL
		redefine
			manage
		end

	FOCUSABLE
		redefine
			set_focus_string
		end

creation
	make, make_unmanaged

feature -- Initialization

	manage is
		do
			Precursor
			if focus_string /= Void then
				initialize_focus
			end
		end

	focus_label: FOCUS_LABEL_I is
			-- has to be redefined, so that it returns correct toolkit initializer
			-- to which object belongs for every instance of this class
		local
			ti: TOOLTIP_INITIALIZER
		do
			ti ?= top
			check
				valid_tooltip_initializer: ti/= Void
			end
			Result := ti.label
		end

	set_focus_string (a_string: STRING) is
		do
			Precursor (a_string)
			initialize_focus
		end

end -- class FOCUSABLE_LABEL