Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	UNDO_INSERT_CMD

General
	cluster: text_window
	description: "Undo command for string insertion."
	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)
	extend_string (s: STRING_8)
	make_from_string (c: EDITOR_CURSOR; s: READABLE_STRING_GENERAL; w: EDITABLE_TEXT)
	redo
	unbind_to_next
	undo



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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