[gnome-shell] Bug 591624 - dash: Rename searchId to searchTimeoutId

[Colin Walters <walters src gnome org>]

commit 1e41f869de4bca9f8b692a5536d309c498636e84
Author: Colin Walters <walters verbum org>
Date:   Wed Aug 12 19:37:47 2009 -0400

    Bug 591624 - dash: Rename searchId to searchTimeoutId
    
    From review comments.

 js/ui/dash.js |   12 ++++++------
 1 files changed, 6 insertions(+), 6 deletions(-)
---
diff --git a/js/ui/dash.js b/js/ui/dash.js
index 1059f40..edd463e 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);