f038ce1c69
With automatic workspace management, explicit controls to add and remove workspaces are no longer necessary. We also can remove the use of addWorkspace for middle-button-click on a launcher since launching on the last empty workspace will do the right thing. https://bugzilla.gnome.org/show_bug.cgi?id=640996 |
||
---|---|---|
.. | ||
search_providers | ||
shaders | ||
theme | ||
close-black.svg | ||
gnome-shell.desktop.in.in | ||
gnome-shell.schemas | ||
gs-applications.menu | ||
magnifier.svg | ||
Makefile.am | ||
org.gnome.accessibility.magnifier.gschema.xml.in | ||
org.gnome.shell.gschema.xml.in |