Closed GoogleCodeExporter closed 9 years ago
Were you using an external editor? (as per checkbox in File -> Preferences?)
Original comment by f.fiss...@arduino.cc
on 17 Oct 2013 at 3:48
https://github.com/arduino/Arduino/issues/1108#issuecomment-105544637
Original comment by federico...@gmail.com
on 26 May 2015 at 2:31
Original comment by c.mag...@arduino.cc
on 26 May 2015 at 2:46
Original issue reported on code.google.com by
Azer...@gmail.com
on 10 Nov 2012 at 5:06Attachments: