Johannes Rieken 648681e6a0 introduce user setting editor.stablePeek, #5120 ...

this new setting, which defaults to false, allows to keep peek editors on  double click and ESC. This is useful for serious coding inside peek windows

2016-05-23 12:40:37 +02:00

..

typings

Add integrated terminal module, move typings up tree

2016-05-17 10:56:50 -07:00

vs

introduce user setting editor.stablePeek, #5120

2016-05-23 12:40:37 +02:00

bootstrap-amd.js

…

bootstrap.js

…

buildfile.js

workbench/electron-main -> code/electron-main

2016-05-02 16:05:37 +02:00

cli.js

move args, cli, sharedProcessMain to code

2016-05-02 16:05:37 +02:00

main.js

Fixes #6002: Unknown locale value falls back to English, not OS locale

2016-05-20 15:23:15 +02:00

paths.js

extract userData path computation

2016-05-04 11:26:38 +02:00

tsconfig.json

…