Christopher Lübbemeier

Results 44 comments of Christopher Lübbemeier

> the color scheme value can be read with `gsettings get org.gnome.desktop.interface color-scheme`. This does only show, whether the desktop is set to "dark style". In any case, automatically adapting...

More as a note to myself: I stumbled across this: https://gitlab.gnome.org/GNOME/gnome-shell/-/blob/f6a94349479067e8df4d3e1cfe96da0faf8f402e/js/ui/panelMenu.js#L27

Hi @iworkinpixels, thanks for your report. So I take it you have set a static number workspaces? Did you enable / are you using the extension's "Smart workspace names" feature?

The reason seems to be, that extensions get disabled and re-enabled on lock / unlock. Currently, this triggers a reset of names of empty workspaces. At some point, the idea...

If I understand you correctly you might want to just disable "smart workspace names". Without this setting, workspace names should be persistent.

What do you use to move programs around workspaces? The standard keybindings don't seem wrap around, so I cannot reproduce your issue right now. > I agree with the user...

Ok, I see. I suppose Pop Shell does something that causes this extension to move workspace names around then. I'll be afk for some days but I'll have a look...

I would have to check, what exactly causes the issue first. Usually it is some workaround that inserts new workspaces and moves windows around so it seems like nothing happened...

I think I finally figured out the cause for this. :sweat_smile: It also occurs without Pop Shell. ~~I uploaded a fixed version here: https://github.com/christopher-l/space-bar/raw/refs/heads/fix/insert-when-static/[email protected]~~ The fix is very straight-forward. ~~If...

Hey, I agree that this would be a nice feature and I definitely consider it, but it would probably take some rewrites and I don't know yet, when I'll get...