-
Florian Müllner authored
Just like the top bar, the window list should scale according to the font scaling factor, so convert the existing pixel sizes into font-relative ones. https://bugzilla.gnome.org/show_bug.cgi?id=703585
85b70493
Just like the top bar, the window list should scale according to the font scaling factor, so convert the existing pixel sizes into font-relative ones. https://bugzilla.gnome.org/show_bug.cgi?id=703585