Florian Müllner 0804cefbee workspace: Minor cleanup
_hideAllOverlays() has only been used in a single place for quite
some time now, so move its code into the caller and save a loop.

https://bugzilla.gnome.org/show_bug.cgi?id=678416
2012-06-19 18:24:52 +02:00
..
2012-06-19 12:21:05 -04:00
2012-02-29 20:16:14 +01:00
2011-11-11 11:15:38 -05:00
2012-06-19 18:24:52 +02:00
2012-02-28 08:14:06 -05:00