Suggestion for improved IDE functionality

Thanks - that's actually a really neat idea. I'll add it to GitHub.

I wonder whether it could actually just detect what changed since the last upload automatically, and just push that - although I guess it could be a bit tricky.

Changing file-level functions should be pretty easy to implement, although I'm afraid that replacing functions inside other functions could end up being a bit difficult.

In the mean time, you could:

• Just copy/paste - but I guess you already do this?
  
• Uncheck reset before send in the Settings menu. This will still re-send everything, but won't reset your device. It means that if you put your initialisation code in onInit(), you will effectively get all your functions updated without having to reset the device.