Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1,993 changes: 1,993 additions & 0 deletions MONACO_INPUT_STEP_BY_STEP_TUTORIAL.md

Large diffs are not rendered by default.

971 changes: 971 additions & 0 deletions MONACO_INPUT_TUTORIAL.md

Large diffs are not rendered by default.

6 changes: 3 additions & 3 deletions build/lib/compilation.js

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

6 changes: 3 additions & 3 deletions build/lib/compilation.ts
Original file line number Diff line number Diff line change
Expand Up @@ -105,7 +105,7 @@ export function transpileTask(src: string, out: string, esbuild?: boolean): task
const task = () => {

const transpile = createCompile(src, { build: false, emitError: true, transpileOnly: { esbuild: !!esbuild }, preserveEnglish: false });
const srcPipe = gulp.src(`${src}/**`, { base: `${src}` });
const srcPipe = gulp.src(`${src}/**`, { base: `${src}`, encoding: false } as any);
Copy link

Copilot AI Apr 11, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Casting the gulp.src options object to any hides type incompatibilities and makes this build pipeline harder to maintain. Please avoid as any here by updating the typings/options properly (or use a supported option such as buffer: true/false if the intent is to control file contents type).

Suggested change
const srcPipe = gulp.src(`${src}/**`, { base: `${src}`, encoding: false } as any);
const srcPipe = gulp.src(`${src}/**`, { base: `${src}`, buffer: true });

Copilot uses AI. Check for mistakes.

return srcPipe
.pipe(transpile())
Expand All @@ -125,7 +125,7 @@ export function compileTask(src: string, out: string, build: boolean, options: {
}

const compile = createCompile(src, { build, emitError: true, transpileOnly: false, preserveEnglish: !!options.preserveEnglish });
const srcPipe = gulp.src(`${src}/**`, { base: `${src}` });
const srcPipe = gulp.src(`${src}/**`, { base: `${src}`, encoding: false } as any);
const generator = new MonacoGenerator(false);
if (src === 'src') {
generator.execute();
Expand Down Expand Up @@ -170,7 +170,7 @@ export function watchTask(out: string, build: boolean, srcPath: string = 'src'):
const task = () => {
const compile = createCompile(srcPath, { build, emitError: false, transpileOnly: false, preserveEnglish: false });

const src = gulp.src(`${srcPath}/**`, { base: srcPath });
const src = gulp.src(`${srcPath}/**`, { base: srcPath, encoding: false } as any);
const watchSrc = watch(`${srcPath}/**`, { base: srcPath, readDelay: 200 });

const generator = new MonacoGenerator(true);
Expand Down
Loading
Loading