Alex Dima 98cd33b38a Fixes #27801: Make the textarea use a proper font size, line height and height to help with the positioning of input pop-ups

2019-10-21 13:01:16 +02:00

..

typings

xterm@4.2.0-beta20

2019-10-18 17:04:03 -04:00

vs

Fixes #27801: Make the textarea use a proper font size, line height and height to help with the positioning of input pop-ups

2019-10-21 13:01:16 +02:00

.eslintrc

…

bootstrap-amd.js

…

bootstrap-fork.js

…

bootstrap-window.js

…

bootstrap.js

…

buildfile.js

…

cli.js

…

main.js

fix #56651

2019-10-14 15:14:34 +02:00

paths.js

…

tsconfig.base.json

…

tsconfig.json

…

tsconfig.monaco.json

…