From 8388706c6935d65887179d4378675472c2496221 Mon Sep 17 00:00:00 2001 From: eeue56 Date: Thu, 13 Jan 2022 21:54:28 +0100 Subject: [PATCH] fix output select in chrome --- index.html | 10 +++++----- main.js | 1 + 2 files changed, 6 insertions(+), 5 deletions(-) diff --git a/index.html b/index.html index 42c7f01..1d9177d 100644 --- a/index.html +++ b/index.html @@ -5,11 +5,11 @@
View output as
- + + + +
diff --git a/main.js b/main.js index d53a37b..6d5eef6 100644 --- a/main.js +++ b/main.js @@ -6325,6 +6325,7 @@ const ${constDef.name}: ${typeDef} = ${body}; window.viewJavascript = () => setMode("javascript"); window.viewTypescript = () => setMode("typescript"); window.viewDerw = () => setMode("derw"); + window.view = (value) => setMode(value); // src/Main.ts var main = newEditor("root");