fix(launcher): Prevent two updates from being scheduled at the same time

Author: mmstick

src/launcher.ts

@@ -28,6 +28,7 @@ export class Launcher extends search.Search {
     options_array: Array<SearchOption> = new Array()
     windows: arena.Arena<ShellWindow> = new arena.Arena()
     service: null | service.LauncherService = null
+    append_id: null | number = null
 
     constructor(ext: Ext) {
         super()
@@ -103,7 +104,12 @@ export class Launcher extends search.Search {
             this.close()
         } else if ("Update" in response) {
             this.clear()
-            GLib.idle_add(GLib.PRIORITY_DEFAULT, () => {
+            if (this.append_id !== null) {
+                GLib.source_remove(this.append_id)
+                this.append_id = null
+            }
+
+            this.append_id = GLib.idle_add(GLib.PRIORITY_DEFAULT, () => {
                 const item = response.Update.shift()
                 if (item) {
                     try {
@@ -131,7 +137,12 @@ export class Launcher extends search.Search {
                     }
                 }
 
-                return response.Update.length !== 0
+                if (response.Update.length === 0) {
+                    this.append_id = null
+                    return false
+                }
+
+                return true
             })
         } else if ("Fill" in response) {
             this.set_text(response.Fill)