Johannes Rieken 03dff92d94 rename setting to peekWidgetDefaultFocus and make it an enum of "tree" and "editor", #23001

2020-01-23 11:01:23 +01:00

..

typings

Require second parameter for Map.set

2020-01-06 11:41:38 -08:00

vs

rename setting to peekWidgetDefaultFocus and make it an enum of "tree" and "editor", #23001

2020-01-23 11:01:23 +01:00

bootstrap-amd.js

…

bootstrap-fork.js

…

bootstrap-window.js

…

bootstrap.js

…

buildfile.js

…

cli.js

…

main.js

…

paths.js

…

tsconfig.base.json

…

tsconfig.json

debt - cleanup tsconfig.json

2020-01-06 18:55:01 +01:00

tsconfig.monaco.json

…