indexing
	description: "Undoable command to add labels to a command."
	Id: "$Id $"
	date: "$Date$"
	revision: "$Revision$"

class CMD_ADD_LABEL 

inherit
	CMD_ADD
		redefine
			undo, redo, element, update_information
		end

feature {NONE} -- Implementation

	element: CMD_LABEL

	name: STRING is
		do
			Result := Command_names.cmd_add_label_cmd_name
		end

	list: EB_LINKED_LIST [CMD_LABEL] is
		do
--			Result := edited_command.labels
		end

	undo is
		do
			{CMD_ADD} Precursor
				--| Remove displayed label if needed.
			if edited_command.command_editor.shown then
--				edited_command.command_editor.labels.finish
--				edited_command.command_editor.labels.remove
			end
		end

	redo is
		do
			{CMD_ADD} Precursor
				--| Add displayed label if needed.
			if edited_command.command_editor.shown then
--				edited_command.command_editor.labels.extend (element)
			end	
		end

	update_information is
		do
			edited_command.update_text
			App_editor.update_transitions_list (edited_command)
		end

end -- class CMD_ADD_LABEL