Open rwjack opened 2 years ago
I agree, even without removing the number, I would like a kind of "|" separator too. I think that when things are clearly separated #56 it is easier to pick the relevant information.
Hi,
I do not work anymore on BaBar (of course you can do some PR). I do maintain DashBar now (but that's just the GS dash in panel, no diff workspaces nor settings).
@m-ar-c Yeah I think I like your recommendation a bit more.
I did some digging, and basically the second IF statement is the pseudocode line we would need:
Any thoughts on how to get the WS index of the active window?
Update on this: I've made it work in quite a hacky and broken way, but at least it looks as I wanted it to.
Since I use the workspace matrix extension (2Cols 4Rows), having visual separators really helps, also only the current workspace icons are colored, so the user can easily see which workspace is the active one.
^ These numbers seem too fat
Would be nice if the user could just chose their own separator, or at least have the option to have '|' as a separator.
Disabling the workspace numbers just groups all the icons and makes workspace separation confusing