From c58e2e68d1b9373cd1a3b9086beddcc575ad5b18 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Tue, 20 Sep 2016 17:34:03 +0200
Subject: [PATCH] Fix regression: ignore case in file extensions

Fix #5389
---
 app/src/processing/app/SketchController.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/src/processing/app/SketchController.java b/app/src/processing/app/SketchController.java
index 5ce02a54d..1666e438d 100644
--- a/app/src/processing/app/SketchController.java
+++ b/app/src/processing/app/SketchController.java
@@ -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);