--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/www/js/global.js	Sat Apr 13 16:50:26 2024 +0200
@@ -0,0 +1,24 @@
+
+
+/* Websocket interface. Place "websocket.onmessage = function(evt) {}" in the user script. */
+var websocket = new ReconnectingWebSocket('ws://'+location.hostname+'/ws');
+
+websocket.onerror = function(event) {
+ console.log('Websocket error: ' + event.data);
+}
+
+
+
+$(document).ready(function() {
+
+ $('#jqxMenu').jqxMenu({
+  width: 1280,
+  height: '30px',
+  autoOpen: false,
+  clickToOpen: true,
+  theme: theme
+ });
+ $('#jqxWidget').css('visibility', 'visible');
+});
+
+