Commit graph

54 commits

Author SHA1 Message Date
Alex Dima 7ade707974 Fixes #56255: Remove unnecessary code 2018-08-17 17:03:08 +02:00
Alex Dima d8e13dc717 Add a compile-editor-build task 2018-07-20 11:26:31 +02:00
Johannes Rieken bd5f9f5801 disable monaco-typecheck-watch because it seems to stall 2018-04-09 14:18:08 +02:00
Johannes Rieken 03eb7931ae add monaco-typecheck tasks and add them to the compile/watch tasks 2018-04-05 10:00:50 +02:00
Joao Moreno 5ba8940d62 catch unhandled promise rejections in build 2017-01-13 09:12:06 +01:00
Joao Moreno d2fa62d13d cleanup extensions menu
fixes #14384
2016-10-31 11:27:45 +01:00
Alex Dima b00c572927 Fix missing copyright header 2016-10-21 09:38:14 +02:00
Alex Dima fcbe48844e Add monaco-editor-setup script 2016-10-21 09:16:06 +02:00
Alex Dima d7930ec63d Fix issue in util.setExecutableBit 2016-10-20 15:30:53 +02:00
Alex Dima 05c0eee675 extract test task to build/gulpfile.test.js 2016-10-20 15:15:29 +02:00
Alex Dima a2c9dfa94d extract mixin task to build/gulpfile.mixin.js 2016-10-20 15:13:58 +02:00
Alex Dima 9f0f868c65 Extract client compilation code out of gulpfile.js 2016-10-20 15:00:05 +02:00
Alex Dima 3d726b59c1 Convert build/lib/reporter.js to TypeScript 2016-10-20 15:00:04 +02:00
Benjamin Pasero 8531bff95a Revert "Add monaco-editor-setup script"
This reverts commit 9e1b35badb.
2016-10-20 06:29:12 +02:00
Alex Dima 9e1b35badb Add monaco-editor-setup script 2016-10-19 18:56:31 +02:00
Alex Dima 3974c1e374 Load all gulpfiles only if necessary 2016-10-19 17:58:50 +02:00
Joao Moreno c524ef6c71 lock distro version 2016-09-05 11:29:44 +02:00
Joao Moreno e48ffc1d71 dynamically require gulp files 2016-07-20 11:00:50 +02:00
Joao Moreno 1ef9a66db0 Revert "revert changes to gulp files"
This reverts commit 23afe96996.
2016-07-12 17:12:38 +02:00
Joao Moreno 23afe96996 revert changes to gulp files
Revert "oops"

This reverts commit 2be0f1d8cd.

Revert "cleanup top level gulpfile"

This reverts commit 849311713d.

Revert "use strict"

This reverts commit b6b7e82041.

Revert "forgot top level"

This reverts commit 1552828709.

Revert "remove VSCODE_BUILD_QUIET"

This reverts commit 8df5e70d12.
2016-07-12 11:47:48 +02:00
Joao Moreno 2be0f1d8cd oops 2016-07-12 11:28:48 +02:00
Joao Moreno 849311713d cleanup top level gulpfile 2016-07-12 11:12:50 +02:00
Joao Moreno 1552828709 forgot top level 2016-07-12 10:59:34 +02:00
Joao Moreno 8df5e70d12 remove VSCODE_BUILD_QUIET 2016-07-12 10:47:19 +02:00
Alex Dima 7e7837ba66 Faster gulp compile tasks 2016-06-24 18:47:26 +02:00
Alex Dima f5f5eb60b3 Improve monaco.d.ts generation task 2016-06-24 18:47:26 +02:00
Alex Dima 553eae98a7 Remove deprecated methods 2016-06-24 15:05:58 +02:00
Dirk Baeumer 4e2e9302d3 Fixing monaco.d.ts generation 2016-06-24 11:15:39 +02:00
Alex Dima 8fd51f85b9 Generate monaco.d.ts continuously and check it in build 2016-06-10 18:40:32 +02:00
Alex Dima 90eb74e313 Delete code that was extracted to other repos 2016-06-08 10:17:51 +02:00
isidor 11dde1e887 fix type that is causing build to fail 2016-05-20 18:17:40 +02:00
Alex Dima 0519a269ec First cut at monaco editor d.ts auto-generation 2016-05-20 17:45:42 +02:00
Joao Moreno bbe568570c fix build 2016-03-16 17:43:18 +01:00
Joao Moreno c4cfb09a3c fix gulp tasks for extensions-build 2016-03-08 10:43:43 +01:00
Joao Moreno b027a0c492 fix up lint errors, cleanup build folder 2016-03-07 12:56:32 +01:00
Joao Moreno 9f8ee47b02 extract gulpfile rebase 2016-03-07 12:27:10 +01:00
Alex Dima 18c4629511 Rename gulp tasks around extensions 2016-03-01 11:40:18 +01:00
Alex Dima 1a97264011 gulpfile.plugins -> gulpfile.extensions 2016-03-01 11:40:17 +01:00
Alex Dima d5c3c10920 Fix remaining 'super' must be called before accessing 'this' errors 2016-02-23 14:19:14 +01:00
Joao Moreno 9b8f0a7d6f omit 'this before super' errors from build 2016-02-23 10:23:27 +01:00
Joao Moreno c6ae31a9ae make build fail on compile errors 2016-02-23 09:33:16 +01:00
Dirk Baeumer ab014838b7 Fixes #3030 2016-02-18 17:54:16 +01:00
Joao Moreno 0ab005e028 don't ignore mixin setting 2016-01-28 11:21:19 +01:00
Joao Moreno dc4cc72aa7 pick up quality folder during gulp mixin 2016-01-19 11:26:23 +01:00
Alex Dima 2dd593fe8a Improve gulp hygiene filters to cover top level files 2015-12-17 16:04:06 +01:00
Joao Moreno 9b5899187d gulp hygiene 2015-11-24 19:09:38 +01:00
isidor 958bdd6ad2 copyrights: use nicer gulp globing
fixes #260
2015-11-23 20:27:54 +01:00
Joao Moreno 9731e5287c quieter build 2015-11-20 09:24:36 +01:00
Joao Moreno a0c6a74e24 quiet build 2015-11-20 09:10:06 +01:00
Joao Moreno cc24139a40 VSCODE_BUILD_QUIET 2015-11-20 08:48:59 +01:00