[TextEditor] Undo/Redo integration

[mpsonntag]

When editing a Property.value via the TextEditor, this change cannot be undone.

Integrate TextEditor change events into the Undo/Redo scheme.