Open robinwersich opened 8 months ago
Hi @robinwersich, thanks for sharing your thoughts!
I also think that the current behavior is not ideal in some situations. I thought about resetting the workspace name when the last window is closed, but I also like your idea of connecting the name to the window that determined it.
I don't know yet when of if I get around to implementing something like this, but I'll definitely keep the idea in mind.
Hi, I implemented a first version of a possible solution. To try it, download https://github.com/christopher-l/space-bar/raw/feat/update-smart-names/space-bar@luchrioh.shell-extension.zip and run the following command inside the download directory:
gnome-extensions install --force space-bar@luchrioh.shell-extension.zip
I didn't do a lot of testing yet, so it might be broken. The concept is to monitor windows on a workspace and when there is no window left to support the currently assigned name, the name is reset (and replaced with a name supported by the remaining windows).
I removed the branch and zip mentioned above in favor of an experimental option in the released version / the main
branch.
Issue
The workspace names currently don't always properly reflect their content:
Main
,Empty
, ...). The second option would consequently also mean that any new, empty workspace would have that predetermined name. As I think these behaviors may not desired by everyone, they should of course be options that can be toggled ("reset empty workspace names" and "empty workspace name").Web
because I first opened the browser on it.Proposed solution
I think the first two issues can be solved by simply triggering a re-evaluation of the smart workspace name whenever the window that previously determined the workspace name is closed. For the third issue, also some watching mechanism is probably needed to detect windows moved to the workspace.