From f88d4b02e4457e321a0bce1a4b67d0c355f7e1a3 Mon Sep 17 00:00:00 2001
From: toasted-nutbread <toasted-nutbread@users.noreply.github.com>
Date: Sat, 11 Apr 2020 15:56:08 -0400
Subject: [PATCH] Use window.getSelection instead of document.getSelection

---
 ext/bg/js/search.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ext/bg/js/search.js b/ext/bg/js/search.js
index 9250fdde..5d04c6e4 100644
--- a/ext/bg/js/search.js
+++ b/ext/bg/js/search.js
@@ -209,7 +209,7 @@ class DisplaySearch extends Display {
 
     onCopy() {
         // ignore copy from search page
-        this.clipboardMonitor.setPreviousText(document.getSelection().toString().trim());
+        this.clipboardMonitor.setPreviousText(window.getSelection().toString().trim());
     }
 
     onExternalSearchUpdate({text}) {