Matt Bierner fb51bc765d Use click instead of mouse down

2018-01-24 15:51:47 -08:00

..

typings

Add fontWeight/fontWeightBold terminal settings, remove enableBold

2018-01-23 09:02:57 -08:00

vs

Use click instead of mouse down

2018-01-24 15:51:47 -08:00

.eslintrc

…

bootstrap-amd.js

…

bootstrap.js

…

buildfile.js

…

cli.js

…

main.js

…

paths.js

…

tsconfig.json

…

tsconfig.monaco.json

…