deferred class
	EL_UNDOABLE_TEXT_COMPONENT

inherit
	EL_TEXT_COMPONENT
		redefine
			implementation
		end

feature -- Element change

	set_edit_history_from_other (other: like Current)
		do
			implementation.set_edit_history_from_other (other.implementation)
		end

feature -- Status query

	has_clipboard_content: BOOLEAN
		do
			Result := not clipboard_content.is_empty
		end

	has_redo_items: BOOLEAN
		do
			Result := implementation.has_redo_items
		end

	has_undo_items: BOOLEAN
		do
			Result := implementation.has_undo_items
		end

feature -- Status setting

	disable_undo
		do
			set_undo (False)
		end

	enable_undo
		do
			set_undo (True)
		end

	set_undo (enabled: BOOLEAN)
		do
			implementation.set_undo (enabled)
		end

feature -- Basic operations

	redo
		do
			implementation.redo
		end

	undo
		do
			implementation.undo
		end

feature -- Element change

	set_initial_text (a_text: READABLE_STRING_GENERAL)
		-- set text without triggering `change_actions'
		do
			change_actions.block
			implementation.set_initial_text (a_text)
			change_actions.resume
		end

feature {NONE} -- Deferred

	has_word_wrapping: BOOLEAN
		deferred
		end

feature {EL_UNDOABLE_TEXT_COMPONENT} -- Internal attributes

	implementation: EL_UNDOABLE_TEXT_COMPONENT_I

end