1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-18 07:52:14 +01:00
David A. Mellis e2213d4721 Changing extension from .pde to .ino.
Renames all .pde files in a sketch to .ino upon opening.  Prompts the user the first time this happens; if the rename is cancelled, the sketch is not opened and the user will be prompted next time a sketch with a .pde file is opened.  Otherwise, renames files in all future opened sketches automatically (without prompting).  Still allows for opening of .pde files and includes them in the sketchbook and examples menus.

Still need to check the file association code.

http://code.google.com/p/arduino/issues/detail?id=13
2010-11-06 15:41:01 -04:00
..
2010-10-03 19:44:28 -04:00
2010-10-03 19:44:28 -04:00