Michael Zanetti
|
39417c04c0
|
Update copyright heeaders
|
2020-02-01 00:48:50 +01:00 |
|
Michael Zanetti
|
1ea57cedee
|
make device name filter case insensitive
|
2020-01-16 11:43:20 +01:00 |
|
Michael Zanetti
|
dd56f57205
|
Add some more code completion info
|
2020-01-16 11:43:20 +01:00 |
|
Michael Zanetti
|
3021ef4baf
|
Add Alarm syntax
|
2020-01-16 11:43:20 +01:00 |
|
Michael Zanetti
|
eecf78ca1b
|
Make console output a textarea
|
2020-01-16 11:43:20 +01:00 |
|
Michael Zanetti
|
02036d4b46
|
Make code completion work on macOS
|
2020-01-16 11:43:20 +01:00 |
|
Michael Zanetti
|
820f0002fd
|
hint deviceId completion
|
2020-01-16 11:43:20 +01:00 |
|
Michael Zanetti
|
70b0d42e91
|
manually convert uuid to string
|
2020-01-16 11:43:20 +01:00 |
|
Michael Zanetti
|
e160ad9665
|
some improvements in the scripting part
|
2020-01-16 11:43:20 +01:00 |
|
Michael Zanetti
|
59047704ae
|
More work on the editor
|
2020-01-16 11:43:20 +01:00 |
|
Michael Zanetti
|
687912a82c
|
More work on the script editor
|
2020-01-16 11:43:20 +01:00 |
|