Johannes Rieken ed26ad524e add TextEditorSelectionChangeKind when emitting selection change event, #8093

2016-08-12 12:23:46 +02:00

..

typings

Save: Flush to disk after writing to file (fixes #9589)

2016-08-09 11:30:05 +02:00

vs

add TextEditorSelectionChangeKind when emitting selection change event, #8093

2016-08-12 12:23:46 +02:00

bootstrap-amd.js

…

bootstrap.js

Merge branch 'master' into extension-viewlet

2016-06-21 14:13:35 +02:00

buildfile.js

Remove legacy JSON

2016-06-26 12:54:17 +02:00

cli.js

…

main.js

lint

2016-07-27 09:31:07 +02:00

paths.js

…

tsconfig.json

Cleanup merged settings and polish jsdoc

2016-06-23 13:43:12 +02:00