Akos Kitta
1d342cdbd0
build: use a local npm registry for app packaging
...
Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
2022-12-15 12:29:26 +01:00
Akos Kitta
ac9cce16f7
chore: Updated to Theia 1.31.1 ( #1662 )
...
Closes #1655
Closes #1656
Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
2022-11-29 09:39:54 +01:00
Akos Kitta
92bc5ecf7b
Replaced the splash screen with a preload.
...
Added a bare minimum example.
Closes #193
Closes #324
Closes #327
Closes #717
Closes #851
Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
2022-08-09 17:23:10 +02:00
Francesco Spissu
ed41b25889
IDE startup theme based on OS theme ( #1160 )
...
* add patch for setting IDE startup theme based on OS theme
* Patched the default theme behavior.
Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
* add custom themes in register
Co-authored-by: Akos Kitta <a.kitta@arduino.cc>
2022-07-18 09:03:43 +02:00
Christian Weichel
201351fea8
Moving repo to bmci-labs
2019-05-06 10:25:29 +02:00
