Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class UNDO_DELETE_CMD General cluster: text_window description: "Undo command for string deletion." create: make_from_string Ancestors UNDO_TEXT_CMD* Queries is_bound_to_next: BOOLEAN message: STRING_32 redo_possible: BOOLEAN undo_possible: BOOLEAN x_start: INTEGER_32 y_start: INTEGER_32 Commands bind_to_next extend (c: CHARACTER_32) make_from_string (tc: EDITOR_CURSOR; s: READABLE_STRING_GENERAL; txt: EDITABLE_TEXT) prepend (tc: EDITOR_CURSOR; c: CHARACTER_32) redo unbind_to_next undo
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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