www/js/global.js

changeset 675
825210ba2707
child 686
372b2442a30f
equal deleted inserted replaced
674:6cabc02f4c8d 675:825210ba2707
1
2
3 /* Websocket interface. Place "websocket.onmessage = function(evt) {}" in the user script. */
4 var websocket = new ReconnectingWebSocket('ws://'+location.hostname+'/ws');
5
6 websocket.onerror = function(event) {
7 console.log('Websocket error: ' + event.data);
8 }
9
10
11
12 $(document).ready(function() {
13
14 $('#jqxMenu').jqxMenu({
15 width: 1280,
16 height: '30px',
17 autoOpen: false,
18 clickToOpen: true,
19 theme: theme
20 });
21 $('#jqxWidget').css('visibility', 'visible');
22 });
23
24

mercurial