From bef71b5dc4b936ac012c8b38859383e664098ce3 Mon Sep 17 00:00:00 2001 From: microbit-mark Date: Thu, 24 Oct 2019 19:15:10 +0100 Subject: [PATCH 01/24] add modal focus --- editor.html | 20 ++++++++++++-------- python-main.js | 15 +++++++++++++-- 2 files changed, 25 insertions(+), 10 deletions(-) diff --git a/editor.html b/editor.html index ad6ac71a..56f4448a 100644 --- a/editor.html +++ b/editor.html @@ -83,6 +83,7 @@