import { Gtk } from "ags/gtk4"; import { Clipboard } from "../../scripts/clipboard"; import { ResultWidget } from "../../widget/runner/ResultWidget"; import { Runner } from "../Runner"; export const PluginClipboard = { prefix: '>', prioritize: true, handle: (search) => { if(Clipboard.getDefault().history.length < 1) return ; return Clipboard.getDefault().history.filter(item => // not the best way to search, but it works Runner.regExMatch(search, item.id) || Runner.regExMatch(search, item.preview)).map((item) => } title={item.preview} onClick={() => Clipboard.getDefault().selectItem(item).catch((err: Error) => { console.error(`Runner(Plugin/Clipboard): An error occurred while selecting clipboard item. Stderr:\n${ err.message ? `${err.message}\n` : ""}Stack: ${err.stack}` ); }) } />); } } as Runner.Plugin;