mirrors/zotero
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Reset note font size to 14 for new editor

Browse source
This commit is contained in:
Dan Stillman 2021-03-03 16:03:12 -05:00
parent f42393c4f3
commit bda52827da
2 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
chrome/content/zotero/xpcom/prefs.js
View file

@ -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');

2
defaults/preferences/zotero.js
View file

@ -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