Automatic generation produced by ISE Eiffel

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

General
	cluster: text_window
	description: "undo command with text to manipulate."

Ancestors
	UNDO_CMD*

Queries
	is_bound_to_next: BOOLEAN
	redo_possible: BOOLEAN
	undo_possible: BOOLEAN

Commands
	bind_to_next
	redo
	unbind_to_next
	undo

Constraints
	text not void



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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