overview: Reduce space between window picker and dash
Do this in a hacky way by hardcoding this, for now. When we land search rework, we can fix this. https://bugzilla.gnome.org/show_bug.cgi?id=582650
parent
d7929a23
Please register or sign in to comment