note description: "Parent of any graphic application. % %Contains some global operations such as `set_global_cursor' or `show_tree'" legal: "See notice at end of class."; status: "See notice at end of class."; date: "$Date$"; revision: "$Revision$" class GRAPHICS inherit G_ANY; W_MAN_GEN export {NONE} all end feature -- Access global_cursor: SCREEN_CURSOR -- Global cursor for the whole application. -- Void if no global cursor has been defined -- with `set_global_cursor'. do Result := toolkit.global_cursor end; feature -- Basic operations exit -- Exit from the application. do toolkit.exit end; iterate -- Loop the application. do toolkit.iterate end; restore_cursors -- Restore the cursors as they were before `set_global_cursor'. require -- a_global_cursor_set_before: global_cursor /= Void do toolkit.restore_cursors ensure no_global_cursor_anymore: (global_cursor = Void) end; set_global_cursor (cursor: SCREEN_CURSOR) -- Set a global cursor for the whole application. -- Warning: the effect of calling `set_type' on a CURSOR or -- `set_cursor' on a WIDGET is not defined. -- It depends on the specific implementation. require a_cursor_exists: cursor /= Void --no_global_cursor_already_set: (global_cursor = Void) do toolkit.set_global_cursor (cursor) ensure correctly_set: global_cursor = cursor end; show_tree (a_file: PLAIN_TEXT_FILE) -- Print a textual representation of the widgets tree on `a_file'. require a_file_exists: a_file /= Void a_file_opened_for_writing: a_file.is_open_write do widget_manager.show_tree (a_file) end 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 GRAPHICS