[org.gnome.shell]
enabled-extensions=['background-logo@fedorahosted.org', 'appindicatorsupport@rgcjonas.gmail.com', 'dash-to-panel@jderose9.github.com', 'desktop-icons@gnome-shell-extensions.gcampax.github.com', 'arcmenu@arcmenu.com']