In grid mode, add CSS pseudo-class 'nonempty' to buttons that represent workspaces containing at least one window ... to be useful, this requires that the 'nonempty' pseudo-class be added to the Cinnamon theme CSS