🦊 Small multi client fix

fonsp · Apr 16, 2020 · 45f53f0 · 45f53f0 · fonsp · Apr 16, 2020
1 parent 643a197
commit 45f53f0
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -2,7 +2,7 @@ name = "Pluto"
 uuid = "c3e4b0f8-55cb-11ea-2926-15256bba5781"
 license = "MIT"
 authors = ["Fons van der Plas <[email protected]>", "Mikołaj Bochenski <[email protected]>"]
-version = "0.7.1"
+version = "0.7.2"
 
 [deps]
 Base64 = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f"

diff --git a/assets/editor.js b/assets/editor.js
@@ -492,6 +492,9 @@ document.addEventListener("DOMContentLoaded", () => {
             case "eval":
                 (new Function(update.message.script))()
                 break
+            case "bond_update":
+                // TODO
+                break
             default:
                 const custom = window.customPlutoListeners[update.type]
                 if(custom){