-
Florian Müllner authored
Now that previews scroll when there are too many workspaces, there is no longer a reason for the 6-workspace limit. However some users do prefer the menu, so rather than drop it, turn it into a proper preference. Closes #336 Part-of: <!316>
69d8d1a3