Jasper St. Pierre 3ffeeac577 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
2012-10-23 15:12:45 -04:00
..
2012-09-06 20:59:58 +02:00
2012-10-02 21:16:28 -03:00
2012-09-13 22:41:17 +02:00
2012-10-22 12:06:45 -04:00
2012-10-22 12:06:45 -04:00
2012-10-17 12:04:28 -04:00
2012-10-22 12:06:45 -04:00