02bad8e92b
When switching between workspaces via panning, we don't want to leave the overview when we end up on an empty workspace. https://bugzilla.gnome.org/show_bug.cgi?id=766883 |
||
---|---|---|
.. | ||
extensionPrefs | ||
gdm | ||
misc | ||
perf | ||
portalHelper | ||
ui | ||
js-resources.gresource.xml | ||
Makefile.am |