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

Scaffold: Change base font size to 13

Browse source 
We should probably just use the Zotero font size setting here, but
this works as a quick fix.
This commit is contained in:
Abe Jellinek 2024-10-22 15:33:21 -04:00
parent 03b00669ed
commit 88d4598fce
2 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
chrome/content/scaffold/scaffold.js
View file

@ -596,8 +596,8 @@ var Scaffold = new function () {
_editors.code.updateOptions({ fontSize: size + 1 });
_editors.tests.updateOptions({ fontSize: size + 1 });
document.getElementById("scaffold-pane").style.fontSize = sizeWithPX;
if (size == 11) {
// for the default value 11, clear the prefs
if (size == 13) {
// for the default value 13, clear the prefs
Zotero.Prefs.clear('scaffold.fontSize');
}
else {
@ -606,11 +606,11 @@ var Scaffold = new function () {
};
this.increaseFontSize = function () {
var currentSize = Zotero.Prefs.get("scaffold.fontSize") || 11;
var currentSize = Zotero.Prefs.get("scaffold.fontSize") || 13;
this.setFontSize(currentSize + 2);
};
this.decreaseFontSize = function () {
var currentSize = Zotero.Prefs.get("scaffold.fontSize") || 11;
var currentSize = Zotero.Prefs.get("scaffold.fontSize") || 13;
this.setFontSize(currentSize - 2);
};

2
chrome/content/scaffold/scaffold.xhtml
View file

@ -97,7 +97,7 @@
<command id="cmd_increase_font_size" oncommand="Scaffold.increaseFontSize()"/>
<command id="cmd_decrease_font_size" oncommand="Scaffold.decreaseFontSize()"/>
<command id="cmd_restore_font_size" oncommand="Scaffold.setFontSize(11)"/>
<command id="cmd_restore_font_size" oncommand="Scaffold.setFontSize(13)"/>
<commandset id="editMenuCommands"/>
</commandset>