From c28c4dad3eb96d8ad3a01ea68aa1c29c4fbddce9 Mon Sep 17 00:00:00 2001
From: Damyan Ivanov <dmn@debian.org>
Date: Wed, 26 Sep 2018 09:27:12 +0000
Subject: [PATCH] fixup for d28e9ea: add support for clipboard.readText()

---
 icedeb.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/icedeb.js b/icedeb.js
index 902ba3b..4111777 100644
--- a/icedeb.js
+++ b/icedeb.js
@@ -205,6 +205,7 @@ function check_likely_inputs(q) {
 }
 
 function react_to_clipboard_text(text) {
+  let clip_input = document.getElementById("clipboard");
   clip_input.value = text;
   clip_input.focus();
   clip_input.setSelectionRange(0, clip_input.value.length);
-- 
2.39.2