Explore projects

A simple gtk tool to set gnome shell layout to some preconfigured settings. Inspired by https://github.com/vmavromatis/gnome-layout-manager/blob/master/layoutmanager.sh