Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EDITOR_CURSORS General cluster: text_window description: "Interface for editor related cursors" Ancestors ANY Queries cur_copy_selection: EV_POINTER_STYLE cur_cut_selection: EV_POINTER_STYLE
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org