Perhaps Andrea's patch resolves this, but even if it doesn't, that should resolve the problem - if you're going to install Dash to Dock, be sure that you won't want to go back again, and consider resetting everything GNOME with `dconf reset -f /` if you do...
Perhaps Andrea's patch resolves this, but even if it doesn't, that should resolve the problem - if you're going to install Dash to Dock, be sure that you won't want to go back again, and consider resetting everything GNOME with `dconf reset -f /` if you do...