17.10 Gnome - Het installeren van gnome-shell-extensies verwijdert het standaardtema volledig
GNOME heeft een grijze balk boven en onder na de upgrade van 17.04 naar 17.10, hoe moet ik het oppassen naar hoe het eruit moet zien?