New feature: option to show desktop numbers with rectangles