diff --git a/js/ui/dash.js b/js/ui/dash.js index edd463e61..4028c8de6 100644 --- a/js/ui/dash.js +++ b/js/ui/dash.js @@ -455,8 +455,10 @@ Dash.prototype = { if (!this._searchActive) { if (this._searchPane != null) this._searchPane.close(); - if (this._searchTimeoutId > 0) + if (this._searchTimeoutId > 0) { Mainloop.source_remove(this._searchTimeoutId); + this._searchTimeoutId = 0; + } return; } if (this._searchTimeoutId > 0)