From 53d2aa43d6ac8d19452ce0d7ebfb34b00f5ee693 Mon Sep 17 00:00:00 2001 From: Dan Stillman Date: Wed, 4 Jan 2017 19:14:07 -0500 Subject: [PATCH] Allow showing the Tools -> Error Console menu option via a pref If devtools.errorconsole.enabled is true, the option will be shown. --- chrome/content/zotero/standalone/standalone.js | 4 ++++ chrome/content/zotero/standalone/standalone.xul | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/chrome/content/zotero/standalone/standalone.js b/chrome/content/zotero/standalone/standalone.js index 5be7f90a3..ee3c7f5c2 100644 --- a/chrome/content/zotero/standalone/standalone.js +++ b/chrome/content/zotero/standalone/standalone.js @@ -43,6 +43,10 @@ const ZoteroStandalone = new function() { return Zotero.initializationPromise; }) .then(function () { + if (Zotero.Prefs.get('devtools.errorconsole.enabled', true)) { + document.getElementById('menu_errorConsole').hidden = false; + } + Zotero.hideZoteroPaneOverlays(); ZoteroPane.init(); ZoteroPane.makeVisible(); diff --git a/chrome/content/zotero/standalone/standalone.xul b/chrome/content/zotero/standalone/standalone.xul index bf42f2e9a..25d3c6ca9 100644 --- a/chrome/content/zotero/standalone/standalone.xul +++ b/chrome/content/zotero/standalone/standalone.xul @@ -169,7 +169,7 @@ - +