org.gnome.shell enabled-extensions ['pomodoro@arun.codito.in', 'clipboard-indicator@tudmotu.com', 'status-area-horizontal-spacing@mathematical.coffee.gmail.com', 'user-theme@gnome-shell-extensions.gcampax.github.com', 'dash-to-dock@micxgx.gmail.com', 'workspace-grid@mathematical.coffee.gmail.com', 'TopIcons@phocean.net', 'impatience@gfxmonk.net', 'pixel-saver@deadalnix.me', 'ubuntu-appindicators@ubuntu.com'] org.gnome.shell command-history ['r'] org.gnome.shell app-picker-view uint32 1 org.gnome.shell favorite-apps ['firefox.desktop', 'org.gnome.Terminal.desktop', 'emacs25.desktop', 'vscode_vscode.desktop', 'insomnia.desktop', 'telegram-desktop_telegramdesktop.desktop', 'slack_slack.desktop', 'spotify_spotify.desktop', 'org.gnome.Nautilus.desktop'] org.gnome.desktop.interface cursor-theme 'Paper' org.gnome.desktop.interface gtk-im-module 'ibus' org.gnome.desktop.interface icon-theme 'Paper' org.gnome.desktop.interface monospace-font-name 'Ubuntu Mono 12' org.gnome.desktop.interface gtk-theme 'Numix' org.gnome.desktop.interface gtk-key-theme 'Emacs' org.gnome.desktop.interface show-battery-percentage true org.gnome.desktop.interface font-name 'Ubuntu 11' org.gnome.desktop.interface clock-show-date true org.gnome.desktop.interface document-font-name 'Ubuntu 11'