Antonio Scandurra
e89552ea75
Ignore mismatched tags between lines in TokenizedBufferIterator
...
Previously the DisplayLayer would have issues when closing tags that had
not been previously opened, requiring us to guard against mismatched
scopes at the frontier of asynchronous tokenization (see 5cfe9716 for
more information).
Now the DisplayLayer gracefully handles closing tags that had not been
opened, meaning we can eliminate this costly logic.
Signed-off-by: Nathan Sobo <nathan@github.com >
2017-05-10 17:54:14 +02:00
..
2017-05-03 14:21:23 +02:00
2017-05-05 09:29:29 +02:00
2017-04-17 13:53:20 -07:00
2016-08-09 14:43:38 -06:00
2017-04-07 13:20:44 -07:00
2017-04-11 18:10:00 -07:00
2017-01-14 09:04:49 -08:00
2015-09-18 20:48:50 -06:00
2017-05-03 14:21:24 +02:00
2017-03-11 19:05:28 +01:00
2016-12-01 10:48:45 -08:00
2016-01-15 14:35:28 -06:00
2017-01-19 13:30:39 -08:00
2014-02-03 13:20:28 -08:00
2017-03-11 19:05:28 +01:00
2016-05-01 16:48:09 -07:00
2016-12-01 14:02:11 -08:00
2017-04-07 13:29:51 -07:00
2017-03-11 19:05:28 +01:00
2017-05-05 09:29:29 +02:00
2017-02-18 11:32:44 +03:00
2016-01-15 14:35:28 -06:00
2014-09-30 12:58:10 -06:00
2017-04-15 11:50:41 -07:00
2017-03-02 10:19:48 -08:00
2017-03-13 19:11:53 +01:00
2016-12-01 10:48:45 -08:00
2017-03-06 16:18:40 +01:00
2016-12-01 10:48:45 -08:00
2017-05-05 09:29:29 +02:00
2017-05-05 09:29:29 +02:00
2017-03-17 17:04:11 +01:00
2016-09-26 20:52:13 +03:00
2017-01-05 17:12:02 -08:00
2016-08-15 16:45:10 -07:00
2017-03-12 11:57:16 +01:00
2016-12-01 10:48:45 -08:00
2017-03-13 19:11:53 +01:00
2014-11-24 14:58:21 -08:00
2015-07-07 13:46:53 -07:00
2017-04-11 09:53:03 +02:00
2017-03-28 12:26:03 +02:00
2017-04-04 07:54:35 -07:00
2017-04-05 16:50:04 -07:00
2017-04-05 16:50:04 -07:00
2017-04-06 16:35:25 -06:00
2017-04-11 12:20:50 -07:00
2017-04-15 13:28:30 -07:00
2017-04-11 09:15:52 -07:00
2017-04-05 16:10:21 -07:00
2017-04-10 17:43:52 -07:00
2017-02-18 11:32:44 +03:00
2016-10-27 10:57:48 -07:00
2015-10-13 18:54:48 -06:00
2017-01-02 11:55:41 -08:00
2013-12-31 15:05:34 -08:00
2016-10-07 10:40:41 +02:00
2016-12-01 10:48:45 -08:00
2017-04-04 13:45:14 -07:00
2017-01-20 15:09:57 +01:00
2016-10-07 10:40:41 +02:00
2016-09-26 20:52:13 +03:00
2017-05-09 15:09:14 -06:00
2017-05-05 09:30:08 +02:00
2017-05-05 09:30:08 +02:00
2017-05-05 09:30:08 +02:00
2016-03-18 18:30:35 +01:00
2017-04-11 12:05:43 -06:00
2016-09-26 20:52:13 +03:00
2016-08-02 16:16:27 -06:00
2016-10-12 09:04:41 +02:00
2017-05-10 17:54:14 +02:00
2017-05-05 09:29:30 +02:00
2016-12-22 16:39:40 -08:00
2015-08-19 17:55:29 -07:00
2016-12-04 15:28:43 -03:00
2017-05-05 09:29:29 +02:00
2017-03-12 11:57:16 +01:00
2017-05-05 09:29:29 +02:00
2017-04-17 13:39:16 -07:00