Icons for buttons for zoom and undo, moved to top-right corner, regarding #612.