Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Thomas Carmichael
gnome-shell-extension-workspace-buttons
Labels
All
Name
Prioritized labels
Drag to reorder prioritized labels and change their relative priority.
Other labels
bug
Thomas Carmichael / gnome-shell-extension-workspace-buttons
Issues
Merge requests
duplicate
Thomas Carmichael / gnome-shell-extension-workspace-buttons
Issues
Merge requests
enhancement
Thomas Carmichael / gnome-shell-extension-workspace-buttons
Issues
Merge requests
help wanted
Thomas Carmichael / gnome-shell-extension-workspace-buttons
Issues
Merge requests
invalid
Thomas Carmichael / gnome-shell-extension-workspace-buttons
Issues
Merge requests
question
Thomas Carmichael / gnome-shell-extension-workspace-buttons
Issues
Merge requests
wontfix
Thomas Carmichael / gnome-shell-extension-workspace-buttons
Issues
Merge requests
Prioritized