From 2ab478b1c3b8507746992047b8a86685ca9438a3 Mon Sep 17 00:00:00 2001 From: Sam Kent Date: Thu, 6 Sep 2018 20:02:32 +0100 Subject: [PATCH 01/12] Add Help box --- editor.html | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/editor.html b/editor.html index bb48d8b6..1f62daa2 100644 --- a/editor.html +++ b/editor.html @@ -181,14 +181,19 @@

{{ title }}

Snippets
- + title="Discover helpful resources">
Help
+
+ + + +
- - - + +
+
Editor Version: 0.1.1
+
MicroPython Version: 1.0-rc3
+