Inconsistent workspace names: `WorkSpace` instead of `Workspace`

sunwxg / gnome-shell-extension-switchworkspace

MIT License

17 stars 3 forks source link

Inconsistent workspace names: `WorkSpace` instead of `Workspace` #3

Closed jul1u5 closed 4 years ago

jul1u5 commented 4 years ago

Currently, the default names of the workspaces are WorkSpace 1, WorkSpace 2... For consistency, I think they should be changed to Workspace 1, etc.

sunwxg commented 4 years ago

Thank you! I will change it.