fix code URL

espruino · Jul 24, 2023 · 7d3c559 · 7d3c559
1 parent 357283d
commit 7d3c559
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 5 deletions.
diff --git a/js/core/file.js b/js/core/file.js
@@ -550,8 +550,9 @@
     var file = files.find(file => file.fileName==options.fileName);
     if (!file) {
       file = createNewTab({type:"js",fileName:options.fileName,isEmpty:true,contents:code});
-    } else if (files[activeFile] != file) {
-      setActiveFile(files.indexOf(file));
+    } else {
+      if (files[activeFile] != file)
+        setActiveFile(files.indexOf(file));
       setFileEditorContents(file, code);
     }
   }

diff --git a/manifest.json b/manifest.json
@@ -2,7 +2,7 @@
   "name": "Espruino Web IDE",
   "short_name": "Espruino IDE",
   "description": "A Terminal and Graphical code Editor for Espruino JavaScript Microcontrollers",
-  "version": "0.78.2",
+  "version": "0.78.3",
   "app": {
     "background": {
       "scripts": ["js/background.js"]

diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "espruino-web-ide",
-  "version": "0.78.2",
+  "version": "0.78.3",
   "description": "A Terminal and Graphical code Editor for Espruino JavaScript Microcontrollers",
   "//1": "-------------------------------------------------------- nw.js",
   "main": "main.html",

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