Fix Editor Version in title

microbit-sam · microbit-sam · commit b89528e49333 · 2019-02-01T13:50:08.000Z
diff --git a/microbit_blocks b/microbit_blocks
@@ -1 +1 @@
-Subproject commit e5760132f8633f5c676c665dca767e8ab0bc0c6e
+Subproject commit 78b3a80a63b42efb88938bebd01484aa9005d1bf
diff --git a/python-main.js b/python-main.js
@@ -307,7 +307,7 @@ function web_editor(config) {
     // sane defaults.
     function setupEditor(message) {
         // Set version in document title
-        document.title = document.title + ' ' + VERSION;
+        document.title = document.title + ' ' + EDITOR_VERSION;
         // Setup the Ace editor.
         EDITOR = pythonEditor('editor');
         if(message.n && message.c && message.s) {
