chore: use theia@1.48.3

arduino-ide-extension/package.json

@@ -24,29 +24,29 @@
   },
   "dependencies": {
     "@grpc/grpc-js": "^1.8.14",
-    "@theia/application-package": "1.47.0",
-    "@theia/core": "1.47.0",
-    "@theia/debug": "1.47.0",
-    "@theia/editor": "1.47.0",
-    "@theia/electron": "1.47.0",
-    "@theia/filesystem": "1.47.0",
-    "@theia/keymaps": "1.47.0",
-    "@theia/markers": "1.47.0",
-    "@theia/messages": "1.47.0",
-    "@theia/monaco": "1.47.0",
+    "@theia/application-package": "1.48.3",
+    "@theia/core": "1.48.3",
+    "@theia/debug": "1.48.3",
+    "@theia/editor": "1.48.3",
+    "@theia/electron": "1.48.3",
+    "@theia/filesystem": "1.48.3",
+    "@theia/keymaps": "1.48.3",
+    "@theia/markers": "1.48.3",
+    "@theia/messages": "1.48.3",
+    "@theia/monaco": "1.48.3",
     "@theia/monaco-editor-core": "1.83.101",
-    "@theia/navigator": "1.47.0",
-    "@theia/outline-view": "1.47.0",
-    "@theia/output": "1.47.0",
-    "@theia/plugin-ext": "1.47.0",
-    "@theia/plugin-ext-vscode": "1.47.0",
-    "@theia/preferences": "1.47.0",
-    "@theia/scm": "1.47.0",
-    "@theia/search-in-workspace": "1.47.0",
-    "@theia/terminal": "1.47.0",
-    "@theia/test": "1.47.0",
-    "@theia/typehierarchy": "1.47.0",
-    "@theia/workspace": "1.47.0",
+    "@theia/navigator": "1.48.3",
+    "@theia/outline-view": "1.48.3",
+    "@theia/output": "1.48.3",
+    "@theia/plugin-ext": "1.48.3",
+    "@theia/plugin-ext-vscode": "1.48.3",
+    "@theia/preferences": "1.48.3",
+    "@theia/scm": "1.48.3",
+    "@theia/search-in-workspace": "1.48.3",
+    "@theia/terminal": "1.48.3",
+    "@theia/test": "1.48.3",
+    "@theia/typehierarchy": "1.48.3",
+    "@theia/workspace": "1.48.3",
     "@tippyjs/react": "^4.2.5",
     "@types/auth0-js": "^9.21.3",
     "@types/btoa": "^1.2.3",

arduino-ide-extension/src/electron-browser/theia/core/electron-window-service.ts

@@ -1,8 +1,5 @@
 import { Deferred } from '@theia/core/lib/common/promise-util';
-import type {
-  NewWindowOptions,
-  WindowSearchParams,
-} from '@theia/core/lib/common/window';
+import type { NewWindowOptions } from '@theia/core/lib/common/window';
 import { ElectronWindowService as TheiaElectronWindowService } from '@theia/core/lib/electron-browser/window/electron-window-service';
 import { injectable, postConstruct } from '@theia/core/shared/inversify';
 import { WindowServiceExt } from '../../../browser/theia/core/window-service-ext';
@@ -10,6 +7,7 @@ import {
   hasStartupTasks,
   StartupTasks,
 } from '../../../electron-common/startup-task';
+import { WindowReloadOptions } from '@theia/core/lib/browser/window/window-service';
 
 @injectable()
 export class ElectronWindowService
@@ -45,7 +43,7 @@ export class ElectronWindowService
   }
 
   // Overridden to support optional task owner params and make `tsc` happy.
-  override reload(options?: StartupTasks | WindowSearchParams): void {
+  override reload(options?: StartupTasks | WindowReloadOptions): void {
     if (hasStartupTasks(options)) {
       window.electronArduino.requestReload(options);
     } else {

electron-app/package.json

@@ -5,24 +5,24 @@
   "license": "AGPL-3.0-or-later",
   "main": "./src-gen/backend/electron-main.js",
   "dependencies": {
-    "@theia/core": "1.47.0",
-    "@theia/debug": "1.47.0",
-    "@theia/editor": "1.47.0",
-    "@theia/electron": "1.47.0",
-    "@theia/filesystem": "1.47.0",
-    "@theia/keymaps": "1.47.0",
-    "@theia/messages": "1.47.0",
-    "@theia/monaco": "1.47.0",
-    "@theia/navigator": "1.47.0",
-    "@theia/plugin-ext": "1.47.0",
-    "@theia/plugin-ext-vscode": "1.47.0",
-    "@theia/preferences": "1.47.0",
-    "@theia/terminal": "1.47.0",
-    "@theia/workspace": "1.47.0",
+    "@theia/core": "1.48.3",
+    "@theia/debug": "1.48.3",
+    "@theia/editor": "1.48.3",
+    "@theia/electron": "1.48.3",
+    "@theia/filesystem": "1.48.3",
+    "@theia/keymaps": "1.48.3",
+    "@theia/messages": "1.48.3",
+    "@theia/monaco": "1.48.3",
+    "@theia/navigator": "1.48.3",
+    "@theia/plugin-ext": "1.48.3",
+    "@theia/plugin-ext-vscode": "1.48.3",
+    "@theia/preferences": "1.48.3",
+    "@theia/terminal": "1.48.3",
+    "@theia/workspace": "1.48.3",
     "arduino-ide-extension": "2.3.5"
   },
   "devDependencies": {
-    "@theia/cli": "1.47.0",
+    "@theia/cli": "1.48.3",
     "7zip-min": "^1.4.4",
     "chmodr": "^1.2.0",
     "compression-webpack-plugin": "^9.0.0",

package.json

@@ -17,7 +17,7 @@
     "**/ip": "^2.0.1"
   },
   "devDependencies": {
-    "@theia/cli": "1.47.0",
+    "@theia/cli": "1.48.3",
     "@typescript-eslint/eslint-plugin": "^5.59.0",
     "@typescript-eslint/parser": "^5.59.0",
     "@xhmikosr/downloader": "^13.0.1",