From 32d3f7a76cd88f6886651d7bb6f5f704397c7f12 Mon Sep 17 00:00:00 2001
From: Cassie Tarakajian <ctarakajian@gmail.com>
Date: Thu, 27 Apr 2017 13:08:20 -0400
Subject: [PATCH] allow file names to change case of file extension

---
 client/modules/IDE/components/FileNode.jsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/client/modules/IDE/components/FileNode.jsx b/client/modules/IDE/components/FileNode.jsx
index 70c5c009..d152ea7d 100644
--- a/client/modules/IDE/components/FileNode.jsx
+++ b/client/modules/IDE/components/FileNode.jsx
@@ -45,7 +45,7 @@ export class FileNode extends React.Component {
     if (oldFileExtension && !newFileExtension) {
       this.props.updateFileName(this.props.id, this.originalFileName);
     }
-    if (oldFileExtension && newFileExtension && oldFileExtension[0] !== newFileExtension[0]) {
+    if (oldFileExtension && newFileExtension && oldFileExtension[0].toLowerCase() !== newFileExtension[0].toLowerCase()) {
       this.props.updateFileName(this.props.id, this.originalFileName);
     }
   }