Automatic generation produced by ISE Eiffel

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

General
	cluster: text_window
	description: "Undo command for comment and indent."
	create: make

Ancestors
	UNDO_TEXT_CMD*

Queries
	is_bound_to_next: BOOLEAN
	lines: LIST [INTEGER_32]
	redo_possible: BOOLEAN
	symbol: READABLE_STRING_GENERAL
	undo_possible: BOOLEAN

Commands
	bind_to_next
	make (a_lines: [like lines] LIST [INTEGER_32]; symbl: READABLE_STRING_GENERAL; txt: EDITABLE_TEXT)
	redo
	unbind_to_next
	undo

Constraints
	lines set
	symbol not void



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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