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 |