Move undo to in-app notification
The undo button in the header bar is a bit odd. It's inactive a lot of the time, and not that visible between all the other buttons. It's also not something other, similar GNOME apps have. As discussed on IRC today, it would be good to replace it with contextual in-app notifications which pop up when there's something to undo.