journal: add mousewheel scrolling to browse.html

diff --git a/src/journal/browse.html b/src/journal/browse.html
index 5a161a13fbaa8985afefcdbad45da394d4becae9..d5e0717c539a202ae72b29c80c1966f12a3bb8cf 100644 (file)
--- a/src/journal/browse.html
+++ b/src/journal/browse.html
@@ -419,10 +419,21 @@
                         }
                 }
 
+                function onMouseWheel(event) {
+                        if (event.detail < 0 || event.wheelDelta > 0)
+                                entriesLoadPrevious();
+                        else
+                                entriesLoadNext();
+                }
+
                 machineLoad();
                 entriesLoad("");
                 showNEntries(getNEntries());
                 document.onkeyup = onKeyUp;
+
+                logs = document.getElementById("tablelogs");
+                logs.addEventListener("mousewheel", onMouseWheel, false);
+                logs.addEventListener("DOMMouseScroll", onMouseWheel, false);
         </script>
 </body>
 </html>