You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Workspaces that have only ignored workspaces should be considered as empty workspaces, because of how they are going to be handled by the css as well. Consider this:
"Empty" workspace, only ignored windows
Empty workspaces, no windows
We can see that even if we want the icon to register as non-empty, the padding becomes an issue here. Alternatively, to fix all of these issues, we fix the print on {windows}, if non-zero, pad automatically, if zero, remove pad space. Then we remove the need to padding ratio in the css.