@allObjects yes, just one board at one time - but that doesn't mean that only one board can be 'working' :)
Honestly I'm not sure about the extra buttons. All you're suggesting doing is replacing 3 clicks (disconnect, connect, select port) with 1, and adding a load of icons and configuration instead.
However, I would totally support tweaking the Web IDE so you could have more than one IDE window open at a time (and allowing the title to change to show the currently connected device). I don't think that should be a big issue.
Having more than one window could really help, as you'd then have multiple consoles with multiple sets of history.
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.
@allObjects yes, just one board at one time - but that doesn't mean that only one board can be 'working' :)
Honestly I'm not sure about the extra buttons. All you're suggesting doing is replacing 3 clicks (disconnect, connect, select port) with 1, and adding a load of icons and configuration instead.
However, I would totally support tweaking the Web IDE so you could have more than one IDE window open at a time (and allowing the title to change to show the currently connected device). I don't think that should be a big issue.
Having more than one window could really help, as you'd then have multiple consoles with multiple sets of history.