From f9dd70126a48fc6d80cdf0289d43d5f3c23cf008 Mon Sep 17 00:00:00 2001 From: Joey Wunderlich Date: Tue, 19 Sep 2023 14:38:33 -0700 Subject: [PATCH] potentially fix monaco editor build bug --- gulpfile.js | 23 +++++++++++++---------- 1 file changed, 13 insertions(+), 10 deletions(-) diff --git a/gulpfile.js b/gulpfile.js index e9f9bcc8b56d..1c2f17749118 100644 --- a/gulpfile.js +++ b/gulpfile.js @@ -516,16 +516,19 @@ const stripMonacoSourceMaps = () => { return Promise.resolve(); } -const copyMonaco = gulp.series(gulp.parallel( - copyMonacoBase, - copyMonacoEditor, - copyMonacoLoader, - copyMonacoEditorMain, - copyMonacoJSON, - copyMonacoBasicLanguages, - copyMonacoTypescript, - inlineCodiconFont -), stripMonacoSourceMaps); +const copyMonaco = gulp.series( + gulp.parallel( + copyMonacoBase, + copyMonacoEditor, + copyMonacoLoader, + copyMonacoEditorMain, + copyMonacoJSON, + copyMonacoBasicLanguages, + copyMonacoTypescript, + ), + inlineCodiconFont, + stripMonacoSourceMaps +);