You are reading a single comment by @Gordon and its replies.
Click here to read the full conversation.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
@Gordon
@Frida: that one is the new Web IDE. It makes its own title bar (so it can put notifications in it), but it doesn't know exactly what the OS+Theme is (for instance I run on Ubuntu and I have my icons in the same places as the Web IDE).