merge latest dev

2021-05-18 15:04:35 +02:00
parent d133bf17ea b57a9957a3
commit 5538a511c7
35 changed files with 641 additions and 200 deletions
@@ -272,6 +272,7 @@ export class ConsoleGlobalMessageManager {
                resolve();
                return;
            }
+            /*
            const fileref = document.createElement("link")
            fileref.setAttribute("rel", "stylesheet")
            fileref.setAttribute("type", "text/css")
@@ -284,6 +285,7 @@ export class ConsoleGlobalMessageManager {
            fileref.onerror = () => {
                reject();
            }
+            */
        });
    }