Andre Weinand 32605482fd node-debug@1.11.17

2017-03-31 11:22:22 +02:00

..

lib

💚 cmon build machine

2017-03-29 11:55:32 +02:00

monaco

[theme] introduce IStandaloneThemeService

2017-03-21 12:17:05 +01:00

npm

[theme] rename editorGuide -> editorIndentGuides (for #23464)

2017-03-30 16:24:05 +02:00

win32

Merge pull request #17710 from mlewand/winShellHotkey

2017-02-16 08:47:38 +01:00

gulpfile.editor.js

Do not inline large SVGs (Fixes Microsoft/monaco-editor#336)

2017-01-26 14:17:57 +01:00

gulpfile.extensions.js

fix missing error emit in extensions compilation

2016-11-29 15:59:17 +01:00

gulpfile.hygiene.js

👷 allow hygiene to run on a single file

2017-03-21 11:28:26 +01:00

gulpfile.js

…

gulpfile.mixin.js

fix mixin

2017-02-27 14:57:23 +01:00

gulpfile.test.js

extract test task to build/gulpfile.test.js

2016-10-20 15:15:29 +02:00

gulpfile.vscode.js

node-debug@1.11.17

2017-03-31 11:22:22 +02:00

gulpfile.vscode.linux.js

👷 remove buffers from build streams

2017-03-31 10:30:29 +02:00

gulpfile.vscode.win32.js

Fixed #15939 - Added a dedicated property for value used in Windows shell, allowing to provide a custom hotkey.

2017-02-07 20:33:03 +01:00

tsconfig.json

…