indexing description: "Abstract notion of the ability for widget to show the explanation% %Your widget class should inherit from this class and redefine% %focus_label to return FOCUS_LABEL_I to be used with this widget." status: "See notice at end of class"; date: "$Date$"; revision: "$Revision$" deferred class FOCUSABLE feature -- Initialization initialize_focus is -- Add the focusable behavior to Current. require valid_focus_string: valid_focus_string do focus_label.initialize_widget (Current); end; feature -- Properties focus_string: STRING focus_label: FOCUS_LABEL_I is deferred end feature -- Access valid_focus_string: BOOLEAN is do Result := focus_string /= Void end; destroyed: BOOLEAN is deferred end feature -- Setting set_focus_string (s: STRING) is --set explanation text for current widget do focus_string := s end; feature {FOCUS_LABEL} -- Implementation set_tool_info (a_tool_info: ANY) is -- Set `tool_info'. do tool_info := a_tool_info end tool_info: ANY -- Tool info for Current -- Used only in Windows implementation of FOCUS_LABEL end -- class FOCUSABLE --|---------------------------------------------------------------- --| EiffelVision: library of reusable components for ISE Eiffel. --| Copyright (C) 1985-2004 Eiffel Software. All rights reserved. --| Duplication and distribution prohibited. May be used only with --| ISE Eiffel, under terms of user license. --| Contact Eiffel Software for any other use. --| --| Interactive Software Engineering Inc. --| dba Eiffel Software --| 356 Storke Road, Goleta, CA 93117 USA --| Telephone 805-685-1006, Fax 805-685-6869 --| Contact us at: http://www.eiffel.com/general/email.html --| Customer support: http://support.eiffel.com --| For latest info on our award winning products, visit: --| http://www.eiffel.com --|----------------------------------------------------------------