You can clone with
HTTPS or Subversion.
Typing a dead key as trema or circumflex key on an AZERTY keyboard following with a letter does nothing in Arduino IDE.
Cut and paste of these letters from another window works fine.
This is used in comments.
Example : type ^ then e does not get ê. " then o does not get ö but nothing.
Releases of the IDE : 1.0.1 from Debian Linux, 1.0.3 from arduino.cc. LANG=fr_FR@UTF8.
None of the others softwares in this machine have this issue.
Processing 1.5.1 works fine without this issue.