You are reading a single comment by @Gordon and its replies. Click here to read the full conversation.
  • Hi - thanks for posting this up...

    Was it you as DanielO that put this on GitHub as a pull request? Probably best to talk about it on there? I'm happy to get them added but I think we ought to get them doing what people expect :)

    I think we'll also need some changes to the Web IDE's terminal too...

About

Avatar for Gordon @Gordon started