app: exclude undo/redo actions from history
The undo/redo actions' label changes based on context, and may interfere with the labels of more relevant, but less frequent, actions. For example, after applying filter Foo, the label of edit-undo becomes "Undo Foo", so searching for "Foo" results in both edit-undo, and the action referring to the filter, with edit-undo most likely appearing at the top of the list due to its frequency. Excluding the undo/redo actions from the history is a simple, if suboptimal, way to fix this.
Showing with 8 additions and 2 deletions