Nathan Sobo
4eecf8d1a6
Don't change number of tiles based on block decorations
...
This means we may render more tiles than necessary when we have block
decorations, but it prevents changing the number of rendered tiles
during scrolling with certain combinations of line height and editor
height. If it ever becomes a problem we can get smarter about
subtracting the height of the visible block decorations from the editor
height, but for now this gives us more reliable performance for the
common case.
2017-05-09 15:09:14 -06: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-05 09:30:08 +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