From 5cb89a3b324fda0d55e18db01782e0accb145cda Mon Sep 17 00:00:00 2001 From: Raphael Forment Date: Mon, 21 Aug 2023 16:35:46 +0200 Subject: [PATCH] error reporting in editor window --- index.html | 7 ++++--- src/API.ts | 9 +++++++++ src/Evaluator.ts | 5 ++++- src/main.ts | 4 ++++ 4 files changed, 21 insertions(+), 4 deletions(-) diff --git a/index.html b/index.html index 1e8f6c0..43c7577 100644 --- a/index.html +++ b/index.html @@ -215,10 +215,10 @@ -->