Alexandru Dima aa8f371eca Merge pull request #52147 from LeonardoBraga/fixes-persistent-hover-manually-triggered ...

Fixes stuck hover widget when triggered manually, with "editor.hover": false

2018-06-25 15:59:45 +02:00

..

typings

revert electron 2.0.x update

2018-06-25 09:28:34 +02:00

vs

Merge pull request #52147 from LeonardoBraga/fixes-persistent-hover-manually-triggered

2018-06-25 15:59:45 +02:00

.eslintrc

…

bootstrap-amd.js

…

bootstrap.js

…

buildfile.js

…

cli.js

portable: check folder

2018-06-18 10:09:50 +02:00

main.js

revert electron 2.0.x update

2018-06-25 09:28:34 +02:00

paths.js

…

tsconfig.json

…

tsconfig.monaco.json

…