www/js/global.js

changeset 687
f5d05b420732
parent 686
372b2442a30f
child 697
685f20ad87ed
equal deleted inserted replaced
686:372b2442a30f 687:f5d05b420732
41 DeviceDirectionSource = { 41 DeviceDirectionSource = {
42 localdata: DeviceDirectionData, 42 localdata: DeviceDirectionData,
43 datatype: 'array', 43 datatype: 'array',
44 datafields: [{ name: 'id' }, { name: 'mno' }, { name: 'en' }] 44 datafields: [{ name: 'id' }, { name: 'mno' }, { name: 'en' }]
45 }, 45 },
46 DeviceDirectionAdapter = new $.jqx.dataAdapter(DeviceDirectionSource); 46 DeviceDirectionAdapter = new $.jqx.dataAdapter(DeviceDirectionSource),
47
48 // options for editors
49
50 Show0dec = { inputMode: 'simple', theme: theme, width: 90, height: 23, readOnly: true, decimalDigits: 0 },
51 Spin0dec = { inputMode: 'simple', theme: theme, width: 110, height: 23, min: 0, decimalDigits: 0, spinButtons: true },
52 SubInt = { inputMode: 'simple', theme: theme, width: 110, height: 23, min: 0, max: 63, decimalDigits: 0, spinButtons: true },
53 GPIOInt = { inputMode: 'simple', theme: theme, width: 110, height: 23, min: -1, max:31, decimalDigits: 0, spinButtons: true };
47 54
48 55
49 /* Websocket interface. Place "websocket.onmessage = function(evt) {}" in the user script. */ 56 /* Websocket interface. Place "websocket.onmessage = function(evt) {}" in the user script. */
50 var websocket = new ReconnectingWebSocket('ws://'+location.hostname+'/ws'); 57 var websocket = new ReconnectingWebSocket('ws://'+location.hostname+'/ws');
51 58

mercurial