Jonas Jenwald
e78e4e72bf
Further modernize PDFThumbnailViewer.scrollThumbnailIntoView
...
The way that we're currently handling the last-`id` is very old, and there's no longer any good reason to special-case things when only one thumbnail is visible.
Furthermore, we can also modernize the loop slightly by using `for...of` instead of `Array.prototype.some()` when checking for fully visible thumbnails.
2021-11-03 21:13:47 +01:00
..
2021-10-12 13:45:15 +02:00
2015-01-26 16:44:45 +01:00
2021-10-31 13:44:51 +01:00
2021-09-23 13:05:18 +02:00
2021-09-22 15:43:26 +02:00
2021-11-02 12:00:57 +01:00
2021-01-09 16:09:44 +01:00
2021-11-03 21:13:44 +01:00
2015-08-14 18:59:55 +02:00
2021-05-16 11:44:05 +02:00
2011-07-05 10:53:57 -07:00
2021-10-22 10:30:32 -07:00
2021-09-15 23:51:56 +02:00
2021-09-11 11:15:25 +02:00
2021-11-01 17:50:49 +01:00
2021-05-16 11:44:05 +02:00
2020-12-23 14:05:49 +01:00
2021-07-08 12:54:58 +02:00
2021-03-26 21:37:51 +01:00
2021-10-02 12:28:00 +02:00
2021-07-08 12:54:58 +02:00
2019-12-26 12:35:12 +01:00
2021-03-04 11:34:51 +01:00
2021-02-26 10:50:29 +01:00
2021-02-14 10:39:49 +01:00
2021-03-17 15:48:24 +01:00
2021-10-16 10:36:22 +02:00
2021-10-16 10:36:22 +02:00
2019-12-26 12:34:24 +01:00
2021-07-31 23:24:49 +02:00
2021-05-16 11:44:05 +02:00
2021-10-02 12:28:00 +02:00
2021-10-02 12:28:00 +02:00
2021-10-28 13:48:15 +02:00
2021-10-12 13:45:15 +02:00
2021-09-11 11:15:25 +02:00
2021-11-03 21:13:44 +01:00
2021-10-12 13:45:15 +02:00
2021-03-07 16:20:52 +01:00
2021-04-10 13:12:47 +02:00
2021-10-22 22:01:19 +02:00
2021-11-03 21:13:47 +01:00
2021-10-12 13:45:19 +02:00
2021-08-04 20:36:04 +02:00
2021-10-12 13:45:19 +02:00
2019-12-26 12:34:24 +01:00
2021-03-22 14:38:05 +01:00
2021-09-20 13:20:09 +02:00
2021-10-12 13:45:19 +02:00
2021-08-25 18:45:46 -04:00
2021-08-25 18:45:46 -04:00
2021-08-01 19:42:05 +02:00
2021-09-14 16:54:36 +02:00
2021-10-02 12:28:00 +02:00
2021-11-03 21:13:44 +01:00
2020-03-21 13:55:06 +01:00
2017-05-31 09:22:25 -05:00
2018-03-21 18:21:46 +01:00
2019-01-23 20:33:20 +01:00
2016-02-14 13:23:34 +01:00
2017-05-31 09:22:25 -05:00
2021-10-22 21:17:36 +02:00
2021-10-12 13:45:15 +02:00
2021-10-12 13:45:15 +02:00
2021-10-29 11:39:33 -04:00
2021-10-02 09:32:23 +02:00