edit - undo and edit - redo are also stock items, so I guess there's not a lot we can do about those. Maybe you can log this as an issue with Gnome?
edit - undo and edit - redo are also stock items, so I guess there's not a lot we can do about those. Maybe you can log this as an issue with Gnome?