Bug#843418: menus do not appear on high-DPI display

[Benjamin Barenblat]

I’m using X.org and the default GTK+ theme, which I think is Adwaita:

    $ gsettings get org.gnome.desktop.interface gtk-theme
    'Adwaita'