jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-04-20 21:37:18 +00:00
Code Issues Packages Projects Releases Wiki Activity
562 Commits 27 Branches 52 Tags
Commit Graph

54 Commits

Author SHA1 Message Date
Akos Kitta
7678937a62 Updated to next (879de31d) Theia. 
To have the keybinding issue fixed for electron.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
 2019-05-08 22:31:09 +02:00
Akos Kitta
6f584bf5d6 Fixed the electron build. 
- Switched from `grpc` to `@grpc/grpc-js`.
 - Use electron `4.x` due to `@grpc/grpc-js`.
 - Enabled the build on Azure Pipelines.
 - From now on, the TS/JS generation is manual.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
 2019-05-08 22:31:09 +02:00
Akos Kitta
50c1c7dcb2 Fixed a race condition when requestng core client. 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
 2019-05-07 14:24:59 +02:00
Christian Weichel
201351fea8 Moving repo to bmci-labs 2019-05-06 10:25:29 +02:00