This is not how I want to configure a GUI editor. With Opera, it was a one-time change;
besides, in Opera the zoom buttons work.