Restored the old app spinner.

Signed-off-by: Akos Kitta <[email protected]>

Author: Akos Kitta

arduino-ide-extension/src/browser/style/index.css

@@ -108,3 +108,21 @@ button.theia-button.main {
 .fa-reload {
   font-size: 14px;
 }
+
+/* restore the old Theia spinner */
+/* https://github.com/eclipse-theia/theia/pull/10761#issuecomment-1131476318 */
+.old-theia-preload {
+  position: absolute;
+  top: 0;
+  left: 0;
+  right: 0;
+  bottom: 0;
+  z-index: 50000;
+  background: var(--theia-editor-background);
+  background-image: var(--theia-preloader);
+  background-size: 60px 60px;
+  background-repeat: no-repeat;
+  background-attachment: fixed;
+  background-position: center;
+  transition: opacity 0.8s;
+}

arduino-ide-extension/src/browser/theia/core/frontend-application.ts

@@ -34,4 +34,11 @@ export class FrontendApplication extends TheiaFrontendApplication {
       }
     }
   }
+
+  protected getStartupIndicator(host: HTMLElement): HTMLElement | undefined {
+    const startupElements = host.getElementsByClassName('old-theia-preload'); // https://github.com/eclipse-theia/theia/pull/10761#issuecomment-1131476318
+    return startupElements.length === 0
+      ? undefined
+      : (startupElements[0] as HTMLElement);
+  }
 }

electron-app/package.json

@@ -29,7 +29,7 @@
     "electron": "^15.3.5"
   },
   "scripts": {
-    "prepare": "theia build --mode development",
+    "prepare": "theia build --mode development && node ./scripts/patch-theia-preload.js ./lib/index.html",
     "start": "theia start --plugins=local-dir:../plugins",
     "watch": "theia build --watch --mode development"
   },

electron-app/scripts/patch-theia-preload.js

@@ -0,0 +1,16 @@
+// Patch the Theia spinner: https://github.com/eclipse-theia/theia/pull/10761#issuecomment-1131476318
+// Replaces the `theia-preload` selector with `old-theia-preload` in the generated `index.html`.
+let arg = process.argv.splice(2)[0]
+if (!arg) {
+    console.error("The path to the index.html to patch is missing. Use 'node patch-theia-preload.js ./path/to/index.html'")
+    process.exit(1)
+}
+(async () => {
+    const { promises: fs } = require('fs')
+    const path = require('path')
+    const index = path.isAbsolute(arg) ? arg : path.join(process.cwd(), arg)
+    console.log(`>>> Patching 'theia-preload' with 'old-theia-preload' in ${index}.`)
+    const content = await fs.readFile(index, { encoding: 'utf-8' })
+    await fs.writeFile(index, content.replace(/theia-preload/g, 'old-theia-preload'), { encoding: 'utf-8' })
+    console.log(`<<< Successfully patched index.html.`)
+})()

electron/build/template-package.json

@@ -25,7 +25,7 @@
     "package": "cross-env DEBUG=* && electron-builder --publish=never",
     "package:publish": "cross-env DEBUG=* && electron-builder --publish=always",
     "download:plugins": "theia download:plugins",
-    "patch": "ncp ./patch/main.js ./src-gen/backend/main.js"
+    "patch": "ncp ./patch/main.js ./src-gen/backend/main.js && node ../../electron-app/scripts/patch-theia-preload.js ./lib/index.html"
   },
   "engines": {
     "node": ">=14.0.0 <15"