-
Jeff Fortin authored
When the main window's width is too big to fit the screen comfortably, hide non-essential widgets and avoid doing size requests on the viewer. This makes us compatible with 1024x768 again. Fixes https://phabricator.freedesktop.org/T3407
51e61cfa