Use convenience.js from gnome-shell-extenstions for getSettings()