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

HTML Tree: adjust row padding per OS

Browse source
This commit is contained in:
Adomas Venčkauskas 2022-04-15 11:15:16 +03:00
commit 76276a39ce
1 changed files with 11 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

12
chrome/content/zotero/components/virtualized-table.jsx
View file

@ -1238,7 +1238,17 @@ class VirtualizedTable extends React.Component {
rowHeight *= Zotero.Prefs.get('fontSize'); rowHeight *= Zotero.Prefs.get('fontSize');
} }
// padding // padding
rowHeight *= 1.4; // This is weird, but Firefox trees always had different amount of padding on
// different OSes
if (Zotero.isMac) {
rowHeight *= 1.4;
}
else if (Zotero.isWindows) {
rowHeight *= 1.2;
}
else {
rowHeight *= 1.1;
}
rowHeight = Math.round(Math.max(MINIMUM_ROW_HEIGHT, rowHeight)); rowHeight = Math.round(Math.max(MINIMUM_ROW_HEIGHT, rowHeight));
return rowHeight; return rowHeight;
} }