From 9214eeecff363883d3d396490e8f1c7adf523c05 Mon Sep 17 00:00:00 2001
From: Alexandre Alapetite <alexandre@alapetite.fr>
Date: Tue, 15 Jan 2019 18:51:13 +0100
Subject: Comment about Gecko scrollbar bug in Firefox 64

https://bugzilla.mozilla.org/show_bug.cgi?id=1514498
---
 p/scripts/main.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'p')

diff --git a/p/scripts/main.js b/p/scripts/main.js
index 4ba329dc1..b12b3cf26 100644
--- a/p/scripts/main.js
+++ b/p/scripts/main.js
@@ -543,7 +543,7 @@ function init_column_categories() {
 			}
 		});
 		$(this).parent().next(".tree-folder-items").slideToggle(300, function () {
-			//Workaround for Gecko bug in Firefox 64-65(+?):
+			//Workaround for Gecko bug 1514498 in Firefox 64
 			var sidebar = document.getElementById('sidebar');
 			if (sidebar && sidebar.scrollHeight > sidebar.clientHeight &&	//if needs scrollbar
 				sidebar.scrollWidth >= sidebar.offsetWidth) {	//but no scrollbar
-- 
cgit v1.2.3