From 7d63b39e30c00ee2103d03bb26842b25ed7ae711 Mon Sep 17 00:00:00 2001 From: Sam Kent Date: Thu, 10 Oct 2019 14:08:51 +0100 Subject: [PATCH 1/3] additional metrics --- editor.html | 14 ++++++++++++-- partial-flashing.js | 21 ++++++++++++++++++++- python-main.js | 36 ++++++++++++++++++------------------ 3 files changed, 50 insertions(+), 21 deletions(-) diff --git a/editor.html b/editor.html index db38c81a..55fac4cf 100644 --- a/editor.html +++ b/editor.html @@ -196,6 +196,16 @@

{{ title }}

Connect
+ +
+ + + +
+
Disconnect
+
@@ -347,8 +357,8 @@

Flashing micro:bit