From 76276a39ceb941fef2692264d37fd49ae0484d8c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Adomas=20Ven=C4=8Dkauskas?= <adomas.ven@gmail.com>
Date: Fri, 15 Apr 2022 11:15:16 +0300
Subject: [PATCH] HTML Tree: adjust row padding per OS

---
 .../content/zotero/components/virtualized-table.jsx  | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/chrome/content/zotero/components/virtualized-table.jsx b/chrome/content/zotero/components/virtualized-table.jsx
index a1432bbf57..5c871282b3 100644
--- a/chrome/content/zotero/components/virtualized-table.jsx
+++ b/chrome/content/zotero/components/virtualized-table.jsx
@@ -1238,7 +1238,17 @@ class VirtualizedTable extends React.Component {
 			rowHeight *= Zotero.Prefs.get('fontSize');
 		}
 		// 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));
 		return rowHeight;
 	}