From 1e41f869de4bca9f8b692a5536d309c498636e84 Mon Sep 17 00:00:00 2001 From: Colin Walters Date: Wed, 12 Aug 2009 19:37:47 -0400 Subject: [PATCH] Bug 591624 - dash: Rename searchId to searchTimeoutId From review comments. --- js/ui/dash.js | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/js/ui/dash.js b/js/ui/dash.js index 1059f40e5..edd463e61 100644 --- a/js/ui/dash.js +++ b/js/ui/dash.js @@ -447,7 +447,7 @@ Dash.prototype = { this._searchAreaApps = null; this._searchAreaDocs = null; - this._searchId = 0; + this._searchTimeoutId = 0; this._searchEntry.entry.connect('text-changed', Lang.bind(this, function (se, prop) { let text = this._searchEntry.getText(); text = text.replace(/^\s+/g, "").replace(/\s+$/g, "") @@ -455,11 +455,11 @@ Dash.prototype = { if (!this._searchActive) { if (this._searchPane != null) this._searchPane.close(); - if (this._searchId > 0) - Mainloop.source_remove(this._searchId); + if (this._searchTimeoutId > 0) + Mainloop.source_remove(this._searchTimeoutId); return; } - if (this._searchId > 0) + if (this._searchTimeoutId > 0) return; if (this._searchPane == null) { this._searchPane = new ResultPane(this); @@ -477,8 +477,8 @@ Dash.prototype = { this._searchEntry.setPane(this._searchPane); } this._searchPane.open(); - this._searchId = Mainloop.timeout_add(150, Lang.bind(this, function() { - this._searchId = 0; + this._searchTimeoutId = Mainloop.timeout_add(150, Lang.bind(this, function() { + this._searchTimeoutId = 0; let text = this._searchEntry.getText(); text = text.replace(/^\s+/g, "").replace(/\s+$/g, ""); this._searchAreaApps.setSearch(text);