Matt Bierner
a8f8a2dca0
Only re-request diagnostics if the file has actually been opened
...
Fixes #95027
Hovers cause VS Code to quickly open and the close the target file. We never actually sync the file with the TypeScript server when this happens. However on file close, we always re-request diagnostics for the project.
This fix makes it so that we only re-request diagnostics if the file has actually been opened on the TSServer
2020-04-11 17:30:12 -07:00
..
2020-04-08 10:12:23 +02:00
2020-01-21 10:23:18 -08:00
2020-04-08 10:12:23 +02:00
2020-03-20 18:36:23 +01:00
2020-04-08 10:12:23 +02:00
2020-04-08 10:12:23 +02:00
2020-01-21 10:23:18 -08:00
2020-03-13 11:31:14 +01:00
2019-10-28 08:11:47 +01:00
2019-10-28 08:11:47 +01:00
2020-03-06 00:30:14 -08:00
2020-03-06 16:26:59 +01:00
2020-04-08 10:12:23 +02:00
2020-04-11 06:45:15 -07:00
2019-11-29 16:49:36 +01:00
2020-04-01 23:13:50 -07:00
2020-02-03 13:01:47 +01:00
2020-04-08 10:12:23 +02:00
2020-02-12 17:20:05 -08:00
2020-02-12 17:20:05 -08:00
2020-02-03 13:01:47 +01:00
2020-01-21 10:23:18 -08:00
2020-03-18 12:42:48 -07:00
2020-04-09 06:17:48 -07:00
2020-01-09 10:34:43 +01:00
2020-02-12 17:20:05 -08:00
2020-04-08 10:12:23 +02:00
2020-04-08 10:12:23 +02:00
2020-01-23 11:35:51 +01:00
2020-04-03 10:49:42 +02:00
2020-01-21 10:23:18 -08:00
2020-02-03 13:01:47 +01:00
2020-01-21 10:23:18 -08:00
2019-10-23 10:45:07 +02:00
2020-04-08 10:12:23 +02:00
2020-04-11 17:30:12 -07:00
2020-04-03 13:46:00 -07:00
2020-04-08 18:06:24 -07:00
2020-03-27 16:36:57 +01:00
2020-04-06 13:29:57 +02:00
2020-04-08 10:12:23 +02:00
2020-02-12 17:42:24 -08:00
2020-04-08 10:12:23 +02:00
2020-01-21 10:23:18 -08:00
2020-04-06 13:29:57 +02:00
2020-02-03 13:01:47 +01:00
2020-01-21 10:23:18 -08:00
2020-01-21 10:23:18 -08:00
2020-01-09 10:34:43 +01:00
2020-01-21 10:23:18 -08:00
2020-03-05 09:32:53 -08:00
2020-02-03 13:01:47 +01:00
2020-02-20 21:01:59 +00:00
2020-04-06 13:29:57 +02:00
2020-04-08 10:12:23 +02:00
2020-03-13 21:55:39 +01:00
2020-03-13 21:55:39 +01:00
2020-03-13 21:55:39 +01:00
2020-03-13 21:55:39 +01:00
2020-03-13 21:55:39 +01:00
2020-03-13 21:55:39 +01:00
2020-03-27 14:35:22 +01:00
2020-01-30 10:15:27 -08:00
2020-03-13 21:55:39 +01:00
2020-03-27 14:35:22 +01:00
2020-03-13 21:55:39 +01:00
2020-02-07 15:51:13 -08:00
2020-04-08 10:12:23 +02:00
2020-04-11 17:30:12 -07:00
2020-04-08 10:12:23 +02:00
2020-04-09 13:55:29 -07:00
2020-04-10 07:39:36 -07:00
2020-03-30 15:52:25 +02:00
2020-03-06 00:30:14 -08:00
2020-03-17 15:01:17 -07:00
2020-01-09 10:34:43 +01:00
2020-01-21 10:23:18 -08:00
2020-02-28 14:45:36 -08:00
2020-02-04 11:08:22 -08:00
2020-03-30 17:31:37 -07:00
2020-02-28 14:45:36 -08:00