Fix for duplicate extensions shown in "Save File" dialog. (#779)

This commit is contained in:
Giannis Ntovas
2018-03-22 23:52:49 +02:00
committed by Karl Burtram
parent a0608a51c1
commit cb7b8b956f

View File

@@ -128,9 +128,11 @@ export class LanguagesRegistry {
if (Array.isArray(lang.extensions)) { if (Array.isArray(lang.extensions)) {
for (let extension of lang.extensions) { for (let extension of lang.extensions) {
mime.registerTextMime({ id: langId, mime: primaryMime, extension: extension }, this._warnOnOverwrite); mime.registerTextMime({ id: langId, mime: primaryMime, extension: extension }, this._warnOnOverwrite);
if (!resolvedLanguage.extensions.includes(extension)){
resolvedLanguage.extensions.push(extension); resolvedLanguage.extensions.push(extension);
} }
} }
}
if (Array.isArray(lang.filenames)) { if (Array.isArray(lang.filenames)) {
for (let filename of lang.filenames) { for (let filename of lang.filenames) {