Automatic generation produced by ISE Eiffel
class UNDO_REPLACE_CMD General cluster: text_window description: "Objects that ..." create: make_from_strings Ancestors UNDO_TEXT_CMD* Queries is_bound_to_next: BOOLEAN new_message: STRING_32 old_message: STRING_32 redo_possible: BOOLEAN undo_possible: BOOLEAN x_start: INTEGER_32 y_start: INTEGER_32 Commands bind_to_next extend_both (c1, c2: CHARACTER_32) extend_new (c: CHARACTER_32) extend_old (c: CHARACTER_32) make_from_strings (c: EDITOR_CURSOR; s1, s2: READABLE_STRING_GENERAL; w: EDITABLE_TEXT) prepend_old (c: CHARACTER_32) redo unbind_to_next undo -- Generated by Eiffel Studio --
For more details: eiffel.org