widget factory slighty too wide for common 1366x768 display

[Alan Pope 🍺🐧🐱 🦄]

I'm using a ThinkPad X220 to test the Ubuntu default theme. It has a wildly common 1366x768 display panel. At the time of writing, around 25% of installs have such a resolution - https://ubuntu.com/desktop/statistics

The default non-hiding 48px launcher, and width of the widget factory, means that it's impossible to get the entire application on screen at once.

There appears to be some space which could be saved by shrinking horizontally a couple of components on each page.

Steps to reproduce

* Install Ubuntu 20.04.
* Set system resolution to 1366x768
* Install gtk3-examples
* Alt-f2, gtk3-widget-factory

Expected outcome

* Entire widget factory should fit on the screen

Actual outcome

* The widget factory window is off the right hand side of the screen

Workaround

Set the launcher to auto hide, to make room.
I don't consider this suitable, because part of the point of gtk widget factory is to test the theme, the experience, the out of the box install. Being unable to actually get the window on the screen seems a flawed set of tests.

ProblemType: Bug
DistroRelease: Ubuntu 20.04
Package: gtk-3-examples 3.24.13-1ubuntu1
ProcVersionSignature: Ubuntu 5.3.0-24.26-generic 5.3.10
Uname: Linux 5.3.0-24-generic x86_64
NonfreeKernelModules: zfs zunicode zavl icp zcommon znvpair
ApportVersion: 2.20.11-0ubuntu15
Architecture: amd64
CurrentDesktop: ubuntu:GNOME
Date: Sun Jan 12 10:13:41 2020
InstallationDate: Installed on 2020-01-11 (0 days ago)
InstallationMedia: Ubuntu 20.04 LTS "Focal Fossa" - Alpha amd64 (20200106)
SourcePackage: gtk+3.0
UpgradeStatus: No upgrade log present (probably fresh install)

[Launchpad Janitor (janitor)]

Status changed to 'Confirmed' because the bug affects multiple users.