Workspace selector off by one pixel on HiDPI
In the latest Git version, the workspace selector closes when the cursor touches the right edge of the screen.
Edited by Florian Müllner
In the latest Git version, the workspace selector closes when the cursor touches the right edge of the screen.