From 32423524451d12cec7224c24463cc4ac72e36ef1 Mon Sep 17 00:00:00 2001
From: wareya <wareya@gmail.com>
Date: Mon, 6 May 2019 11:39:43 -0400
Subject: [PATCH] add an additional live mining field

---
 livemining.html | 1 +
 livemining.js   | 1 +
 texthook.js     | 1 +
 3 files changed, 3 insertions(+)

diff --git a/livemining.html b/livemining.html
index 60c01f4..08a56b0 100644
--- a/livemining.html
+++ b/livemining.html
@@ -79,6 +79,7 @@ The "audio_kanji" and "audio_reading" fields are for people with the JDIC audio
 
 jmdict_id - JMDict numeric ID
 url - URL of the page the card was mined from (if it was the reader page, it will look like jibberish)
+page_title - Title of the page the card was mined from
 time_unix  - Time when card was mined (unix timestamp, milliseconds, can be converted to a localized date within Anki by using javascript in the card model/template)
 time_local - Time when card was mined (localized date, depends on browser and OS)
 
diff --git a/livemining.js b/livemining.js
index c19775b..71085a5 100644
--- a/livemining.js
+++ b/livemining.js
@@ -36,6 +36,7 @@ function add_options(input, preselect="")
     
     "jmdict_id",
     "url",
+    "page_title",
     "time_unix",
     "time_local",
     
diff --git a/texthook.js b/texthook.js
index 4a0af01..71fc1cd 100644
--- a/texthook.js
+++ b/texthook.js
@@ -2086,6 +2086,7 @@ function mine(highlight)
             
             jmdict_id: seq,
             url: get_doc().URL,
+            page_title: get_doc().title,
             time_unix: now.getTime(),
             time_local: now.toLocaleString(),