From d0f4bd6779284a816d625c89b8abcd1ecd559131 Mon Sep 17 00:00:00 2001 From: "Brenton M. Wiernik" Date: Wed, 23 Oct 2019 23:56:01 -0400 Subject: [PATCH] Update preferences for FF60 update Closes https://github.com/bwiernik/zotero-shortdoi/issues/15 --- chrome/content/options.xul | 49 ++++++ chrome/content/overlay.xul | 39 ++--- chrome/content/scripts/getPref.js | 0 chrome/content/scripts/zoteroshortdoi.js | 208 ++++++++--------------- chrome/locale/en-US/options.dtd | 17 +- chrome/locale/en-US/options.properties | 0 chrome/locale/en-US/overlay.dtd | 11 ++ install.rdf | 2 +- options.xul | 18 -- update.rdf | 6 +- 10 files changed, 163 insertions(+), 187 deletions(-) create mode 100644 chrome/content/options.xul create mode 100644 chrome/content/scripts/getPref.js create mode 100644 chrome/locale/en-US/options.properties delete mode 100644 options.xul diff --git a/chrome/content/options.xul b/chrome/content/options.xul new file mode 100644 index 0000000..f80a9d8 --- /dev/null +++ b/chrome/content/options.xul @@ -0,0 +1,49 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + ¬found-tag-desc; + + + + +