Repairs build script.

pull/2674/head
Henning Dieterichs 3 years ago
parent 7752fecda8
commit 6190b68c94
No known key found for this signature in database
GPG Key ID: 771381EFFDB9EC06

@ -472,7 +472,9 @@ function toExternalDTS(contents) {
if (line.indexOf('declare let MonacoEnvironment') === 0) {
lines[i] = `declare global {\n let MonacoEnvironment: Environment | undefined;\n}`;
// lines[i] = line.replace('declare namespace monaco.', 'export namespace ');
}
if (line.indexOf(' MonacoEnvironment?') === 0) {
lines[i] = ` MonacoEnvironment?: Environment | undefined;`;
}
}
return lines.join('\n').replace(/\n\n\n+/g, '\n\n');

Loading…
Cancel
Save