Well, I installed and uninstalled Gnome 3 as indicated on this answer: How do I install and use the latest version of GNOME?
I have, however, noticed that the dash now keeps being in it's default configuration, and it has some minor bugs.
Is there any way to fix this?
Thanks