increased the mousewheel speed a bit

diff --git a/web/index.html b/web/index.html
index 6e976370946f90fcd5e735ce0251c41a8c7730f0..b3b3b08fac4702474d729c708e22f3247bb17fab 100644 (file)
--- a/web/index.html
+++ b/web/index.html
@@ -2538,7 +2538,7 @@
 
             var sidebar = document.getElementById('sidebar');
             Ps.initialize(sidebar, {
-                wheelSpeed: 0.4,
+                wheelSpeed: 0.5,
                 wheelPropagation: true,
                 swipePropagation: true,
                 minScrollbarLength: null,
@@ -2554,7 +2554,7 @@
 
             var registry = document.getElementById('registry-dropdown');
             Ps.initialize(registry, {
-                wheelSpeed: 0.4,
+                wheelSpeed: 0.5,
                 wheelPropagation: false,
                 swipePropagation: false,
                 minScrollbarLength: null,