Correctly selects filename when known extension with a dot inside is used

Author: zaggino

src/project/ProjectManager.js

@@ -1810,7 +1810,21 @@ define(function (require, exports, module) {
                 var escapedName = _.escape(entry.name);
                 _projectTree.jstree("set_text", $selected, escapedName);
                 _projectTree.jstree("rename");
-                var indexOfExtension = escapedName.lastIndexOf('.');
+
+                var indexOfExtension = escapedName.lastIndexOf("."),
+                    language = LanguageManager.getLanguageForPath(entry.name);
+                if (language) {
+                    language.getFileExtensions().forEach(function (ext) {
+                        ext = "." + ext;
+                        if (escapedName.match(ext + "$")) {
+                            var io = escapedName.lastIndexOf(ext);
+                            if (io < indexOfExtension) {
+                                indexOfExtension = io;
+                            }
+                        }
+                    });
+                }
+
                 if (indexOfExtension > 0) {
                     $selected.children(".jstree-rename-input")[0].setSelectionRange(0, indexOfExtension);
                 }