FYI
http://www.arduino.org/blog/the-new-arduino-ide-1-7-11-is-now-available
Courty
I would recommend against using Arduino.orgs IDE, use the Arduino.cc one.
Good catch - not sure why i’m even on that list, normally follow CC and not Org. thanks @unknowndomain
The new CC version is at https://www.arduino.cc/en/Main/Software and at the time of writing is version 1.6.12
Courty
out of interest why?
.org are the baddies…
In reality .org are the hardware guys and .cc the software. .org’s ide is a spur off the .cc one and the .cc one has greater support for non-Arduino hardware.
Courty