diff --git a/js/ui/viewSelector.js b/js/ui/viewSelector.js index 91bc222cf..c46afc505 100644 --- a/js/ui/viewSelector.js +++ b/js/ui/viewSelector.js @@ -311,6 +311,7 @@ var ViewSelector = new Lang.Class({ }, hide() { + this.reset(); this._workspacesDisplay.hide(); },