Add logging

src/platform/web/Platform.js

@@ -169,6 +169,7 @@ export class Platform {
     }
 
     async init() {
+        await this.logger.run("Platform init", async () => {
             if (!this._config) {
                 if (!this._configURL) {
                     throw new Error("Neither config nor configURL was provided!");
@@ -183,6 +184,7 @@ export class Platform {
             const manifests = this.config["themeManifests"];
             await this._themeLoader?.init(manifests);
             this._themeLoader?.setTheme(await this._themeLoader.getActiveTheme());
+        });
     }
 
     _createLogger(isDevelopment) {

src/platform/web/ThemeLoader.ts

@@ -27,6 +27,7 @@ export class ThemeLoader {
     }
 
     async init(manifestLocations: string[]): Promise<void> {
+        await this._platform.logger.run("ThemeLoader.init", async () => {
             for (const manifestLocation of manifestLocations) {
                 const { body } = await this._platform
                     .request(manifestLocation, {
@@ -42,15 +43,18 @@ export class ThemeLoader {
                 */
                 Object.assign(this._themeMapping, body["source"]["built-assets"]);
             }
+        });
     }
 
     setTheme(themeName: string) {
+        this._platform.logger.run("ThemeLoader.setTheme", () => {
             const themeLocation = this._themeMapping[themeName];
             if (!themeLocation) {
                 throw new Error( `Cannot find theme location for theme "${themeName}"!`);
             }
             this._platform.replaceStylesheet(themeLocation);
             this._platform.settingsStorage.setString("theme", themeName);
+         });
     }
 
     get themes(): string[] {
@@ -58,6 +62,7 @@ export class ThemeLoader {
     }
 
     async getActiveTheme(): Promise<string|undefined> {
+        return await this._platform.logger.run("ThemeLoader.getActiveTheme", async () => {
             // check if theme is set via settings
             let theme = await this._platform.settingsStorage.getString("theme");
             if (theme) {
@@ -70,5 +75,6 @@ export class ThemeLoader {
                 return this._platform.config["defaultTheme"].light;
             }
             return undefined;
+         });
     }
 }