diff options
| author | 2019-01-15 20:58:53 +0100 | |
|---|---|---|
| committer | 2019-01-15 20:58:53 +0100 | |
| commit | 6bc49e137e2f996f768770c3702d7d6552f556b3 (patch) | |
| tree | daf73c82840eb4985a61eb7ddb6ee3d7609252af /p/scripts | |
| parent | a26eff8a2084a779959f5bef96a4bc72c7ec6ab7 (diff) | |
| parent | 9214eeecff363883d3d396490e8f1c7adf523c05 (diff) | |
Manual merge /dev
Diffstat (limited to 'p/scripts')
| -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 7b49ebeb2..4939bf7dd 100644 --- a/p/scripts/main.js +++ b/p/scripts/main.js @@ -581,7 +581,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 const sidebar = document.getElementById('sidebar'); if (sidebar && sidebar.scrollHeight > sidebar.clientHeight && //if needs scrollbar sidebar.scrollWidth >= sidebar.offsetWidth) { //but no scrollbar |
