diff --git a/Extension/ui/settings.ts b/Extension/ui/settings.ts index 99e97b862..ff59cfc54 100644 --- a/Extension/ui/settings.ts +++ b/Extension/ui/settings.ts @@ -79,19 +79,23 @@ class SettingsApp { } } + private unescapeConfigString(s: string): string { + return s.replace(/\\\\/g, "\\"); + } + private update(config: any): void { this.updating = true; try { - (document.getElementById(elementId.activeConfig)).value = config.name; + (document.getElementById(elementId.activeConfig)).value = this.unescapeConfigString(config.name); - (document.getElementById(elementId.compilerPath)).value = config.compilerPath ? config.compilerPath : ""; + (document.getElementById(elementId.compilerPath)).value = config.compilerPath ? this.unescapeConfigString(config.compilerPath) : ""; (document.getElementById(elementId.intelliSenseMode)).value = config.intelliSenseMode ? config.intelliSenseMode : "${default}"; (document.getElementById(elementId.includePath)).value = - (config.includePath && config.includePath.length > 0) ? config.includePath.join("\n") : ""; + (config.includePath && config.includePath.length > 0) ? this.unescapeConfigString(config.includePath.join("\n")) : ""; (document.getElementById(elementId.defines)).value = - (config.defines && config.defines.length > 0 ) ? config.defines.join("\n") : ""; + (config.defines && config.defines.length > 0 ) ? this.unescapeConfigString(config.defines.join("\n")) : ""; (document.getElementById(elementId.cStandard)).value = config.cStandard; (document.getElementById(elementId.cppStandard)).value = config.cppStandard;