re-order files to ensure that pretokenise works when writing to flash

espruino · Sep 9, 2019 · b6b311f · b6b311f
1 parent 3a217df
commit b6b311f
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 5 deletions.
diff --git a/index.html b/index.html
@@ -212,10 +212,10 @@ <h5 class="title-bar__title">Espruino Web IDE</h5>
     <script src="EspruinoTools/libs/esprima/esmangle.js"></script> <!-- needed for minify -->
     <script src="EspruinoTools/libs/esprima/escodegen.js"></script> <!-- needed for minify -->
     <script src="EspruinoTools/plugins/minify.js"></script>
-
+    <script src="EspruinoTools/plugins/pretokenise.js"></script> <!-- This should come before saveOnSend -->
     <script src="EspruinoTools/plugins/saveOnSend.js"></script> <!-- This should come after minify -->
     <script src="EspruinoTools/plugins/setTime.js"></script> <!-- This should come after save on send -->
-    <script src="EspruinoTools/plugins/pretokenise.js"></script>
+
 
     <script src="js/plugins/tutorial.js"></script>
     <script src="js/plugins/webcam.js"></script>

diff --git a/main.html b/main.html
@@ -196,10 +196,9 @@ <h5 class="title-bar__title">Espruino Web IDE</h5>
     <script src="EspruinoTools/libs/esprima/esmangle.js"></script> <!-- needed for minify -->
     <script src="EspruinoTools/libs/esprima/escodegen.js"></script> <!-- needed for minify -->
     <script src="EspruinoTools/plugins/minify.js"></script>
-
+    <script src="EspruinoTools/plugins/pretokenise.js"></script> <!-- This should come before saveOnSend -->
     <script src="EspruinoTools/plugins/saveOnSend.js"></script> <!-- This should come after minify -->
     <script src="EspruinoTools/plugins/setTime.js"></script> <!-- This should come after save on send -->
-    <script src="EspruinoTools/plugins/pretokenise.js"></script>
 
     <script src="js/plugins/tutorial.js"></script>
     <script src="js/plugins/webcam.js"></script>

diff --git a/serviceworker.js b/serviceworker.js
@@ -1,5 +1,5 @@
 // Service worker for Offline Web IDE
-const VERSION = 'v42';
+const VERSION = 'v43';
 
 const CACHED_RESOURCES = [
   'blockly/blockly_espruino.js',