Daniel Imms 69617527b1 Update terminal dropdown after hidden tabs are removed ...

Fixes #77415

2019-07-24 15:26:22 -07:00

..

typings

chore: Bump electron@4.2.7

2019-07-24 14:25:15 -07:00

vs

Update terminal dropdown after hidden tabs are removed

2019-07-24 15:26:22 -07:00

.eslintrc

…

bootstrap-amd.js

…

bootstrap-fork.js

…

bootstrap-window.js

…

bootstrap.js

…

buildfile.js

…

cli.js

…

main.js

Revert "Add CLI flag to be able to disable smooth scroll in webviews" (#76944)

2019-07-09 10:00:45 +02:00

paths.js

…

tsconfig.base.json

Remove suppressImplicitAnyIndexErrors

2019-07-10 14:47:56 -07:00

tsconfig.json

use webworker lib

2019-07-10 13:30:47 +02:00

tsconfig.monaco.json

…