I beg, make workspaces an optional feature setting that actually hides workspaces

[Foe-Hammer]

Every new update changes the option name for hiding workspaces.

I never use workspaces and I would love to never see that workspace icon again.

[Geobert]

Or at least, stop changing its id so we can workaround it with userChrome.css -_-

[nms808]

I never use workspaces either and never will. I do use a session manager extension that works better than any workspaces feature I've ever tried. I even keep that extension disabled until I actually need it. That being said, I can report at the moment the userchrome fix is still working for me in the 1.14.2b Windows version:

#8058 (reply in thread)