diff options
| author | 2019-01-15 18:51:13 +0100 | |
|---|---|---|
| committer | 2019-01-15 18:51:13 +0100 | |
| commit | 9214eeecff363883d3d396490e8f1c7adf523c05 (patch) | |
| tree | 4a2632a6690a904da2152e36916cf4f669cd418d | |
| parent | b73d4c807f8bce7090eb0d37cf4448dbb248ba2b (diff) | |
Comment about Gecko scrollbar bug in Firefox 64
https://bugzilla.mozilla.org/show_bug.cgi?id=1514498
| -rw-r--r-- | p/scripts/main.js | 2 |
1 files changed, 1 insertions, 1 deletions
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 |
