rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-19 08:52:15 +01:00
Code Issues Releases Activity

Fix regression: ignore case in file extensions

Browse Source 
Fix #5389
This commit is contained in:
Cristian Maglie 2016-09-20 17:34:03 +02:00
parent 646c9f798f
commit c58e2e68d1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
app/src/processing/app/SketchController.java
View File

@ -150,7 +150,7 @@ public class SketchController {
if (split.extension.equals(""))
split.extension = Sketch.DEFAULT_SKETCH_EXTENSION;
if (!Sketch.EXTENSIONS.contains(split.extension)) {
if (!Sketch.EXTENSIONS.contains(split.extension.toLowerCase())) {
String msg = I18n.format(tr("\".{0}\" is not a valid extension."),
split.extension);
Base.showWarning(tr("Problem with rename"), msg, null);