gnome shell extension that tiles windows as you like. With gSettings Support
Primary LanguageJavaScript