Window menus don't scale DPI correctly
On my office's display setup, where I have a 4K eDP built-in display + a 1080p display + a 1920x1200 display, DPI scaling doesn't seem to work for window menus on the 4k screen.
Seen on Fedora 31, running gnome-shell 3.34.1