add support for clipboard.readText(), available in firefox 63

diff --git a/icedeb.js b/icedeb.js
index 81e5f0afa758280f1b1258b1bfbf75733a7d56dd..902ba3bbb1826aac46eff8b9be676b3aa8e12c60 100644 (file)
--- a/icedeb.js
+++ b/icedeb.js
@@ -204,17 +204,28 @@ function check_likely_inputs(q) {
     } );
 }
 
     } );
 }
 

+function react_to_clipboard_text(text) {
+  clip_input.value = text;
+  clip_input.focus();
+  clip_input.setSelectionRange(0, clip_input.value.length);
+
+  check_likely_inputs(text);
+}
+

 function get_clipboard_contents() {
 function get_clipboard_contents() {

-  let clip_pot = document.getElementById('clip-pot');
-  let clip_input = document.getElementById("clipboard");
-  clip_pot.focus();
-  if (document.execCommand("Paste")) {
-    let q = clip_pot.textContent.trim();
-    clip_input.value = q;
-    clip_input.focus();
-    clip_input.setSelectionRange(0, clip_input.value.length);
-
-    check_likely_inputs(q);
+  if (navigator.clipboard && navigator.clipboard.readText) {
+    navigator.clipboard.readText().then(function(q){
+      react_to_clipboard_text(q);
+    });
+  }
+  else {
+    let clip_pot = document.getElementById('clip-pot');
+    let clip_input = document.getElementById("clipboard");
+    clip_pot.focus();
+    if (document.execCommand("Paste")) {
+      let q = clip_pot.textContent.trim();
+      react_to_clipboard_text(q);
+    }

   }
 }
 
   }
 }