This is a really handy feature. I can't take any credit for it either - it's all @JumJum's work :)
It's a shame it's hidden away a bit, but I've been trying to keep the IDE as friendly for new users (with as few buttons) as possible - at least out of the box.
As with all this stuff, contributions are always welcome. It'd be really cool if someone could spend a while getting the look and feel to it similar to the existing Web IDE controls (part of me wonders whether there's a jQueryUI theme that's similar enough? If so it would be a trivial change).
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.
This is a really handy feature. I can't take any credit for it either - it's all @JumJum's work :)
It's a shame it's hidden away a bit, but I've been trying to keep the IDE as friendly for new users (with as few buttons) as possible - at least out of the box.
As with all this stuff, contributions are always welcome. It'd be really cool if someone could spend a while getting the look and feel to it similar to the existing Web IDE controls (part of me wonders whether there's a jQueryUI theme that's similar enough? If so it would be a trivial change).