Commit graph

52 commits

Author SHA1 Message Date
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
Joao Moreno
2a29c3b6b5 ➡ gulpfiles into build
fixes #196
2015-11-19 15:47:33 +01:00
Alex Dima
8883fcd03b Leading whitespace fixes 2015-11-19 12:56:08 +01:00