GitHub repository: war1025/WorkspaceSwitcherWrapAround
Primary language: JavaScript
Description: Gnome Shell Workspace Switch WrapAround Extension