From bda52827da2b8b8e4609ff4bd45836e056a1da71 Mon Sep 17 00:00:00 2001 From: Dan Stillman Date: Wed, 3 Mar 2021 16:03:12 -0500 Subject: [PATCH] Reset note font size to 14 for new editor --- chrome/content/zotero/xpcom/prefs.js | 6 +++++- defaults/preferences/zotero.js | 2 +- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/chrome/content/zotero/xpcom/prefs.js b/chrome/content/zotero/xpcom/prefs.js index e821efa621..2e38435556 100644 --- a/chrome/content/zotero/xpcom/prefs.js +++ b/chrome/content/zotero/xpcom/prefs.js @@ -49,7 +49,7 @@ Zotero.Prefs = new function(){ if (!fromVersion) { fromVersion = 0; } - var toVersion = 2; + var toVersion = 3; if (fromVersion < toVersion) { for (var i = fromVersion + 1; i <= toVersion; i++) { switch (i) { @@ -74,6 +74,10 @@ Zotero.Prefs = new function(){ this.clear('firstRunGuidanceShown.saveButton'); break; + case 3: + this.clear('note.fontSize'); + break; + // TEMP: Uncomment and set toVersion above to 3 when adding to prefs drop-down //case 3: // this.clear('fileHandler.pdf'); diff --git a/defaults/preferences/zotero.js b/defaults/preferences/zotero.js index df0998da62..50c9c58e90 100644 --- a/defaults/preferences/zotero.js +++ b/defaults/preferences/zotero.js @@ -99,7 +99,7 @@ pref("extensions.zotero.search.useLeftBound", true); // Notes pref("extensions.zotero.note.fontFamily", "Lucida Grande, Tahoma, Verdana, Helvetica, sans-serif"); -pref("extensions.zotero.note.fontSize", "12"); +pref("extensions.zotero.note.fontSize", "14"); pref("extensions.zotero.note.css", ""); // Reports