Ergus writes: > 4) I see a redo added in the menu-bar unconditionally... should we do > the same in the toolbar unconditionally? I tried adding it to the toolbar just to see how it would look like: