From ece322126a1edef70bcb9fc859e1f4f955c34ac6 Mon Sep 17 00:00:00 2001
From: wareya <wareya@gmail.com>
Date: Wed, 12 Jun 2019 07:16:26 -0400
Subject: [PATCH] fix storage mining with space saver

---
 mining.html | 2 +-
 texthook.js | 5 ++++-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/mining.html b/mining.html
index 08b2255..ba38a7d 100644
--- a/mining.html
+++ b/mining.html
@@ -19,7 +19,7 @@ body
 <body lang="ja">
 <p>Tab separated values. Spelling, readings, definitions, (if stored: looked up text, sentence, location in sentence), JMdict numeric ID.</p>
 <input type=button id=reset value="Reset"/>
-<textarea id="field" style="width:100%; height:calc(100% - 70px);"></textarea>
+<textarea id="field" style="width:100%; height: calc(100vh - 150px)"></textarea>
 </body>
 
 </html>
diff --git a/texthook.js b/texthook.js
index 0f4b3e6..aa3d372 100644
--- a/texthook.js
+++ b/texthook.js
@@ -2074,13 +2074,16 @@ function mine(highlight)
     let readings_elements = word.getElementsByClassName("nazeka_readings");
     if(readings_elements.length)
         readings = readings_elements[0].textContent;
+    let storage_readings = readings;
+    if(storage_readings.length < 2 || !storage_readings.startsWith("《"))
+        storage_readings = "《" + storage_readings.trim() + "》";
     let definitions = word.getElementsByClassName("nazeka_definitions")[0];
     let lookup = word.parentElement.querySelector(".nazeka_lookup");
     let sentence = word.parentElement.querySelector(".nazeka_lookup_sentence");
     let index = word.parentElement.querySelector(".nazeka_lookup_index");
     let seq = word.getAttribute("nazeka_seq");
     
-    mine_to_storage({front: front, readings: readings, definitions: definitions.innerText, lookup: lookup.textContent, sentence: sentence.textContent, index: index.textContent, seq: seq});
+    mine_to_storage({front: front, readings: storage_readings, definitions: definitions.innerText, lookup: lookup.textContent, sentence: sentence.textContent, index: index.textContent, seq: seq});
     
     if(settings.live_mining)
     {