Automatic generation produced by ISE Eiffel

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

General
	cluster: text_window
	description: "Undo command for replace all"
	create: make

Ancestors
	UNDO_CMD*

Queries
	is_bound_to_next: BOOLEAN
	redo_possible: BOOLEAN
	undo_possible: BOOLEAN

Commands
	add (urc: UNDO_REPLACE_CMD)
	bind_to_next
	make
	redo
	unbind_to_next
	undo



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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