From 25fa6a74b3ad81de04705d7fc3427a3fbf3f6f74 Mon Sep 17 00:00:00 2001 From: Gordon Williams Date: Wed, 15 Nov 2023 13:43:38 +0000 Subject: [PATCH] Upgrade Blockly version, which should now work better on Android tablets. Also change meta viewport to 0.8 which gives much more sensible scaling (1 is a bit too big) --- blockly/blockly.html | 2 +- blockly/blockly_compressed.js | 3330 +++++++++++++++--------------- blockly/blockly_espruino.js | 6 +- blockly/blocks_compressed.js | 356 ++-- blockly/en.js | 910 ++++---- blockly/en_espruino.js | 46 + blockly/field_textarea.js | 185 -- blockly/javascript_compressed.js | 387 +++- index.html | 2 +- js/core/editorBlockly.js | 11 +- js/plugins/fontSize.js | 2 +- 11 files changed, 2639 insertions(+), 2598 deletions(-) create mode 100644 blockly/en_espruino.js delete mode 100644 blockly/field_textarea.js diff --git a/blockly/blockly.html b/blockly/blockly.html index 85165c83..b5379999 100644 --- a/blockly/blockly.html +++ b/blockly/blockly.html @@ -4,6 +4,7 @@ + @@ -15,7 +16,6 @@ -