org.gnome.shell enabled-extensions ['user-theme@gnome-shell-extensions.gcampax.github.com', 'caffeine@patapon.info', 'removeaccesibility@lomegor', 'apps-menu@gnome-shell-extensions.gcampax.github.com', 'places-menu@gnome-shell-extensions.gcampax.github.com', 'dash-to-dock@micxgx.gmail.com', 'GmailMessageTray@shuming0207.gmail.com', 'TopIcons@phocean.net', 'dynamic-panel-transparency@rockon999.github.io'] org.gnome.shell command-history ['r'] org.gnome.shell app-picker-view uint32 1 org.gnome.shell favorite-apps ['google-chrome.desktop', 'gnome-gmail.desktop', 'org.gnome.Calendar.desktop', 'org.gnome.Nautilus.desktop', 'org.gnome.Software.desktop', 'update-manager.desktop', 'org.gnome.Terminal.desktop', 'druide-antidote-9-binaire.desktop', 'libreoffice-writer.desktop', 'gnome-system-monitor.desktop', 'gnome-tweak-tool.desktop'] org.gnome.desktop.interface gtk-im-module 'gtk-im-context-simple' org.gnome.desktop.interface text-scaling-factor 1.3 org.gnome.desktop.interface show-battery-percentage true org.gnome.desktop.interface clock-show-date true