Send a notification when history triggers undo/redo

This is especially useful when users trigger such an event accidentally through a hotkey, so that they have a very clear visual hint, that they are in fact making changes.