Updated to next (0.13.0-next.145f9137) Theia.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
2025-07-24 11:46:32 +00:00 · 2019-11-25 09:16:22 +01:00 · 2019-11-25 09:16:22 +01:00 · e79d42d6bd
commit e79d42d6bd
parent a9c9dcde7b
2 changed files with 1065 additions and 926 deletions
--- a/arduino-ide-extension/src/browser/arduino-theme.ts
+++ b/arduino-ide-extension/src/browser/arduino-theme.ts
@ -9,6 +9,7 @@ const ARDUINO_JSON = MonacoThemeRegistry.SINGLETON.register(
 export class ArduinoTheme {

    static readonly arduino: Theme = {
+        type: 'light',
        id: 'arduino-theme',
        label: 'Arduino Light Theme',
        description: 'Arduino Light Theme',
--- a/yarn.lock
+++ b/yarn.lock