Skip to content

Conversation

@jtaala
Copy link
Collaborator

@jtaala jtaala commented Apr 9, 2023

This PR adds a user-settable option which disables the workspace indicator.

Fixes #387 #433.

From this PR's changes to README.md:

If you prefer to use another workspace indicator (or prefer none at all), you can hide this workspace name element from Gnome topbar by executing the following command from a terminal:

dconf write /org/gnome/shell/extensions/paperwm/show-workspace-indicator false

NOTE: this PR has been implemented in the PaperWM-redux fork, which you can install if you want this, or any of my PRs that are open.

@jtaala jtaala requested a review from Lythenas April 9, 2023 12:31
@jtaala jtaala linked an issue Apr 9, 2023 that may be closed by this pull request
@jtaala jtaala changed the title Adds option to disable the PaperWM topbar workspace name indicator (activities button) Adds option to disable the PaperWM topbar workspace name indicator/button Apr 9, 2023
@jtaala
Copy link
Collaborator Author

jtaala commented Apr 11, 2023

Thanks @Lythenas for approving!

Note, I've just updated README.md and added this property to the new properties section from #514. Please approve again when you have a chance and I'll merge this in.

Thanks!

@jtaala jtaala merged commit 45b2260 into paperwm:develop Apr 12, 2023
@ChaiAK
Copy link

ChaiAK commented Sep 25, 2024

Hi, what happened to this, it's seemingly no longer a feature or in the readme?

@jtaala
Copy link
Collaborator Author

jtaala commented Sep 25, 2024

@ChaiAK

image

Enable that option to replace (and disable) workspace name indicator with standard gnome pill.

@jtaala
Copy link
Collaborator Author

jtaala commented Sep 25, 2024

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add option to entirely disable the workspace name / activities button

3 participants