fix workspace switcher sometimes staying visible