Automatic generation produced by ISE Eiffel
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 -- Generated by Eiffel Studio --
For more details: eiffel.org