Automatic generation produced by ISE Eiffel
class UNDO_UNSYMBOL_SELECTION_CMD General cluster: text_window description: "Undo for uncomment and unindent." create: make Ancestors UNDO_SYMBOL_SELECTION_CMD Queries is_bound_to_next: BOOLEAN lines: LIST [INTEGER_32] redo_possible: BOOLEAN symbol: READABLE_STRING_GENERAL undo_possible: BOOLEAN Commands bind_to_next make (a_lines: [like lines] LIST [INTEGER_32]; symbl: READABLE_STRING_GENERAL; txt: EDITABLE_TEXT) redo unbind_to_next undo -- Generated by Eiffel Studio --
For more details: eiffel.org