Skip to content

Add option to entirely disable the workspace name / activities button #387

@raiguard

Description

@raiguard

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.

image

Metadata

Metadata

Assignees

Labels

new-preferenceInvolves creating a new dconf preference, or eventually a settings menu entry

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions