comparison: www/js/global.js
www/js/global.js
- changeset 685
- a4fcdf24b5e7
- parent 684
- ccb9f24d0fe9
- child 687
- 93ea9572c780
equal
deleted
inserted
replaced
| 684:ccb9f24d0fe9 | 685:a4fcdf24b5e7 |
|---|---|
| 767 websocket.onerror = function(event) { | 767 websocket.onerror = function(event) { |
| 768 console.log('Websocket error: ' + event.data); | 768 console.log('Websocket error: ' + event.data); |
| 769 $('#wsstatus').html('WebSocket error: ' + event.data); | 769 $('#wsstatus').html('WebSocket error: ' + event.data); |
| 770 } | 770 } |
| 771 | 771 |
| 772 /* Handle global menu manipulation called by the user script. */ | |
| 773 function ws_global(msg) { | |
| 774 console.log('ws_global(' + msg + ')'); | |
| 775 } | |
| 776 | |
| 777 | |
| 778 $(document).ready(function() { | 772 $(document).ready(function() { |
| 779 | 773 |
| 780 $('#jqxMenu').jqxMenu({ | 774 $('#jqxMenu').jqxMenu({ |
| 781 width: 800, | 775 width: 800, |
| 782 height: '30px', | 776 height: '30px', |
