mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-05-29 16:26:33 +00:00

The Save As operation is halted and the problem clearly communicated to the user when there is a collision between the target primary source file name and existing secondary source files of the sketch. Closes #827 Signed-off-by: Akos Kitta <a.kitta@arduino.cc>