Tor Hedin Brønner

Not at the moment, but that would indeed be nice. The whole «winprop» system could in general be a lot more powerful. IIRC last time I looked into this there...

I'm unable to reproduce with the default theme and without extensions that modify the top bar. What theme and extensions are you using (dash-to-panel etc.)? Also what gnome-shell version are...

Hmm, right, I'm able to reproduce with gnome-shell-3.34.4 and dash-to-panel 26. It works correctly in gnome shell 3.35.92 and dash-to-panel 27. dash-to-panel 27 also works in gnome-shell 3.34 so I'd...

Yeah, this is intentional, and the «Horizontal margin» naming is confusing as it implies a consistent margin. There's been other people who want this option too, so it should probably...

Managed to misclick the close button :p I'd accept a PR on this introducing an explicit `scroll-margin` so `horizontal-margin` can be applied consistently. Though I still think it should default...

See #50 and https://github.com/paperwm/PaperWM/pull/194. So we'll see when I get the time :)

> is it possible to implement a function that allows me to remove one or more workspaces that I no longer need? Yes, there's already some utility functions that removes...

I've made a test branch for this: [`sticky-center`](https://github.com/paperwm/PaperWM/tree/sticky-center), which will continue to center windows if the current window is centered.

Yeah, this probably isn't something we can fix in paperwm. We'd have to use single workspace for all windows and re-implement workspaces on top of that. We've considered doing that,...

Right, I've seen that happen a few times, but haven't found a solid cause/fix. Now there's buttons in the workspace menu (right click on the workspace name) which cycles through...