From f85d4b2fdc55c413136796586862535951fad9ca Mon Sep 17 00:00:00 2001
From: wareya <wareya@gmail.com>
Date: Sun, 23 Jun 2019 12:58:10 -0400
Subject: [PATCH] add close button to sticky mode on desktop, make it disable
 sticky mode

---
 texthook.js | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/texthook.js b/texthook.js
index 4b703f3..56c21d8 100644
--- a/texthook.js
+++ b/texthook.js
@@ -635,6 +635,16 @@ function build_div_inner(text, result, moreText, index, first_of_many = false)
                 close_button.style.padding = "initial";
                 buttons.appendChild(close_button);
             }
+            else
+            {
+                let close_button = document.createElement("img");
+                close_button.src = browser.extension.getURL("img/closebutton24.png");
+                close_button.onclick = manual_disable_sticky;
+                close_button.style.marginTop = "-3px";
+                close_button.style.display = "inline";
+                close_button.style.padding = "initial";
+                buttons.appendChild(close_button);
+            }
             buttons.style.float = "right";
             original.appendChild(buttons);
         }
@@ -1377,6 +1387,13 @@ function manual_close()
     last_manual_interaction = Date.now();
 }
 
+function manual_disable_sticky()
+{
+    settings.sticky = false;
+    browser.storage.local.set({"sticky":false});
+    delete_div();
+}
+
 function lookup_cancel_force()
 {
     delete_div();