Plank becomes tiny when switching windows on HiDPI
When using Alt-Tab to switch windows Plank becomes really small when GNOME is set to a 2x scale (gsettings set org.gnome.
The attached screenshot shows the size while switching compared to normal size. The images are not scaled, just cropped to the same size box.
Distro: elementaryOS (Ubuntu 16.04)
Window manager: gala