Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow hiding empty desktops on desktops widget #102

Closed
Eloi opened this issue Mar 12, 2015 · 0 comments
Closed

Allow hiding empty desktops on desktops widget #102

Eloi opened this issue Mar 12, 2015 · 0 comments

Comments

@Eloi
Copy link
Contributor

Eloi commented Mar 12, 2015

Desktops widget takes too much screen real estate when using multiple monitors with multiple desktops.

Per example, I usually use up to three monitors with 12 desktops in each one, for a total of 36 desktops, which takes half of my monitor only for the desktops widget.

In some WM (like Awesome) there is an option to hide empty desktops, and only show them when they have something contained or when they are selected.

This is specific to my workflow, but I think that its general enough to be useful for everyone, so I implemented a config option to allow hiding empty desktops and packed this feature in a pull request.

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

No branches or pull requests

1 participant