UI suggestions

Hi, thanks - good ideas! I've actually got some issues open for the two things you mention already - so hopefully they will get implemented at some point soon.

1. downloading code: https://github.com/espruino/EspruinoWebIDE/issues/96
   
2. display device name: https://github.com/espruino/EspruinoWebIDE/issues/171
   
   

You can download manually at the moment by typing dump() on the left-hand side and copy/pasting the code - it's just a bit more fiddly.

And if you want to change the name there's the NRF.setAdvertising function: http://www.espruino.com/Reference#l_NRF_setAdvertising

NRF.setAdvertising({},{name:"Hello"});

should work - so if you upload the following code and then type save() the name of the device will always be Hello.

function onInit() {                                       
  NRF.setAdvertising({},{name:"Hello"}); 
}

(edit - just moving this to the Puck.js forum)