#

non-empty-workspace

Here is 1 public repository matching this topic...

aironavt / switching-to-non-empty-workspace

GNOME shell extensions for switching between non-empty workspaces also allow workspace wrap around in switcher.

gnome-shell gnome-shell-extension workspace-wrap-around non-empty-workspace

Updated Nov 19, 2019
JavaScript

Improve this page

Add a description, image, and links to the non-empty-workspace topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the non-empty-workspace topic, visit your repo's landing page and select "manage topics."