--- a/www/js/global.js Tue May 19 22:48:59 2020 +0200 +++ b/www/js/global.js Wed May 20 21:49:09 2020 +0200 @@ -771,20 +771,21 @@ /* Handle global menu manipulation called by the user script. */ function ws_global(msg) { - + console.log('ws_global(' + msg + ')'); } $(document).ready(function() { $('#jqxMenu').jqxMenu({ - width: 1280, + width: 800, height: '30px', autoOpen: false, clickToOpen: true, theme: theme }); $('#jqxWidget').css('visibility', 'visible'); + $('#jqxStatus').jqxPanel({ width: 478, height: 30, theme: theme }); });