Automatic generation produced by ISE Eiffel

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

General
	cluster: text_window
	description: "Generic undo command"

Ancestors
	ANY

Queries
	is_bound_to_next: BOOLEAN
	redo_possible: BOOLEAN
	undo_possible: BOOLEAN

Commands
	bind_to_next
	redo
	unbind_to_next
	undo



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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