c02b57efc3
Rename WorkspacesViewSwitch to WorkspacesControls and let it manage all workspace controls. Do not destroy and recreate the controls bar actor on each view change, but add it to the overview once and let it update itself. https://bugzilla.gnome.org/show_bug.cgi?id=610189 |
||
---|---|---|
.. | ||
theme | ||
close-black.svg | ||
gnome-shell.desktop.in.in | ||
gnome-shell.schemas | ||
magnifier.svg | ||
Makefile.am |