nicer handling of switching desktops