Gnome-shell extension to switch focus mode with one click