don't copy empty selection (fixes #1346, fixes #1325)

2026-09-24 07:25:18 -05:00 · 2019-08-07 15:21:58 +02:00
parent dbb6c544de
commit 07ab28279c
1 changed files with 1 additions and 1 deletions
@@ -48,7 +48,7 @@ export class XTermFrontend extends Frontend {
            this.title.next(title)
        })
        this.xterm.onSelectionChange(() => {
-            if (this.copyOnSelect) {
+            if (this.copyOnSelect && this.getSelection()) {
                this.copySelection()
            }
        })