Add quickfix for missing dialog

 */

export function onCopyOrPasteHotkey(handler) {

    document.querySelector("textarea.term_textarea").addEventListener("keydown", event=>{

        console.log(event)

        if(event.ctrlKey && (event.key == "c" || event.key == "v")) {

            handler()

        }

    })

    }, true)

}