It seems that the number of workspaces contained in a viewport is the ratio of widths, at least when there is only one line. Not sure we really support other cases. Closes: #789 Fixes: 8f310b86