fix: Prevent flicker in search result updates

Author: mmstick

src/search.ts

@@ -33,6 +33,7 @@ export class Search {
     private text: Clutter.Text;
     private widgets: Array<St.Widget>;
     private scroller: St.Widget;
+    private children_to_abandon: any = null;
 
     activate_id: (index: number) => void = () => {}
     cancel: () => void = () => {}
@@ -193,8 +194,7 @@ export class Search {
     }
 
     clear() {
-        this.list.remove_all_children();
-        this.list.hide();
+        this.children_to_abandon = (this.list as any).get_children();
         this.widgets = [];
         this.active_id = 0;
     }
@@ -299,6 +299,14 @@ export class Search {
 
         this.widgets.push(widget);
         this.list.add(widget);
+
+        if (this.children_to_abandon) {
+            for (const child of this.children_to_abandon) {
+                child.destroy();
+            }
+            this.children_to_abandon = null
+        }
+
         this.list.show();
 
         const vscroll = (this.scroller as any).get_vscroll_bar()