-
Notifications
You must be signed in to change notification settings - Fork 154
Closed
Labels
new-preferenceInvolves creating a new dconf preference, or eventually a settings menu entryInvolves creating a new dconf preference, or eventually a settings menu entry
Description
PaperWM usually has a workspace name in the top bar, along with workspace names baked into each workspace's background. I have a different wallpaper per workspace so I don't need any of these identifiers. I found a way to disable the workspace names, but unfortunately that switches the workspace name in the top bar to "activites" akin to the stock gnome button.
However, this button is added by PaperWM, so normal extensions to remove this button don't work. I would love a way to completely disable this button, because I never use it and it's just sitting there collecting dust.
Metadata
Metadata
Assignees
Labels
new-preferenceInvolves creating a new dconf preference, or eventually a settings menu entryInvolves creating a new dconf preference, or eventually a settings menu entry
