feat: allow user to Ctrl-C copy active option and close window

Author: canadaduane

src/launcher.ts

@@ -12,10 +12,13 @@ import type { Ext } from 'extension'
 import type { ShellWindow } from 'window'
 import type { JsonIPC } from 'launcher_service'
 
-const { Clutter, Gio, GLib, Meta, Shell } = imports.gi
+const { Clutter, Gio, GLib, Meta, Shell, St } = imports.gi
 
 const app_sys = Shell.AppSystem.get_default();
 
+const Clipboard = St.Clipboard.get_default();
+const CLIPBOARD_TYPE = St.ClipboardType.CLIPBOARD;
+
 interface SearchOption {
     result: JsonIPC.SearchResult
     menu: St.Widget
@@ -96,6 +99,16 @@ export class Launcher extends search.Search {
                 this.service?.quit(option.result.id)
             }
         }
+
+        this.copy = (id: number) => {
+            const option = this.options_array[id];
+            if (!option) return;
+            if (option.result.description) {
+                Clipboard.set_text(CLIPBOARD_TYPE, option.result.description);
+            } else if (option.result.name) {
+                Clipboard.set_text(CLIPBOARD_TYPE, option.result.name);
+            }
+        }
     }
 
     on_response(response: JsonIPC.Response) {

src/search.ts

@@ -44,6 +44,7 @@ export class Search {
     search: (search: string) => void = () => {}
     select: (id: number) => void = () => {}
     quit: (id: number) => void = () => {}
+    copy: (id: number) => void = () => {}
 
     constructor() {
         this.active_id = 0;
@@ -190,6 +191,19 @@ export class Search {
                 // Ctrl + Q shall quit the selected application
                 this.quit(this.active_id);
                 return;
+            } else if (
+                key === "Copy" ||
+                (ctrlKey && (key === "C" || key === "Insert"))
+            ) {
+                if ((this.text as any).get_selection()) {
+                    // If text entry has selected text, behave as normal
+                    return;
+                } else {
+                    // If nothing is selected, copy the active option and close
+                    this.copy(this.active_id);
+                    this.close();
+                    this.cancel();
+                }
             }
 
             this.select(this.active_id);