🐞 play: Fix dash reset issues (#466)

Fix dash reset issues with an explicit check for `dash`. Previously it resulted
in the incorrect:

	canvas.ctx.setLineDash([0])

Now it results in the correct:

	canvas.ctx.setLineDash([])

Pull-request: #466

Author: juliaogris

frontend/play/index.js

@@ -870,7 +870,7 @@ function fill(ptr, len) {
 // dash is exported to evy go/wasm.
 function dash(ptr, len) {
   const s = memToString(ptr, len)
-  const nums = s.split(" ").map(Number).map(transformX)
+  const nums = s === "" ? [] : s.split(" ").map(Number).map(transformX)
   canvas.ctx.setLineDash(nums)
 }