You are reading a single comment by @jijidad and its replies. Click here to read the full conversation.
  • The update button in chrome://extensions/ did the trick. Now on 0.70.3. Thanks!

    Interesting note: This version of the chrome app now says its name is "Default bleoifhkdalbjfbobjackfdifdneehpo.app", whereas the version I had before said "Espruino Web IDE.app". Not a big deal...

About

Avatar for jijidad @jijidad started