bugfix: range selection using shift + left mouse was not possible between two spaces