Better Web IDE

Ok, I added an issue for this: https://github.com/espruino/Espruino/iss­ues/258

But back on track, if anyone else wants to try this:

• Download https://github.com/espruino/EspruinoWebI­DE/archive/major_refactor.zip to a directory on your PC
  
• Click the menu icon in Chrome's top right
  
• Click 'Settings'
  
• Click 'Extensions' on the left
  
• Click 'Load Unpackaged Extension'
  
• Navigate to the EspruinoWebIDE Directory and click Ok
  
• Job Done. It'll now appear as an app with the 'Unpacked' banner so you can tell it apart from the normal Web IDE.
  
  

IMO it's working pretty well now (it even lets you specify font size, which others have asked for) but I'd be extremely interested to get other people's points of view on this.

Personally I might knock 10px off the size of the title/separator bar, but I wonder whether it would spoil the look.