settings for gnome-shell extension
Posted