Jean-Marc Lasgouttes
e5aaa64b63
Improve the code that limits scrolling at top/bottom ...
The most visible part of this commit is the move of part of
BufferView::updateMetrics to a new TextMetrics::updateMetrics. This
new method makes sure that metrics are known for all visible paragraphs
(starting from anchor), and that the positions of the paragraphs have
been recorded.
This method is called up to 3 times in BufferView::updateMetrics:
* unconditionally, to update all visible metrics,
* then, if the bottom of the document is visible and too high, after
updating the anchor ypos,
* and similarly if the top of the document is visible and too low.
This fixes for example the case where one jumps to Section 5.3 at the
end of Tutorial and 'scroll_below_document' is false.
Some now redundant code is removed from BufferView::scrollToCursor.
The anchor-setting code in BufferView::draw is not clearly useful, but
left here just in case. It generates a debug warning, though.
Part of bug #12297 .
(cherry picked from commit f15d2ebf3819913114ab93d1ff7e140cb26b03d5)
2024-04-18 16:45:58 +02:00
2021-03-24 11:42:39 +01:00
2024-04-18 16:45:58 +02:00
2024-03-16 11:57:48 +01:00
2024-04-14 08:09:56 +02:00
2024-04-01 17:59:56 +02:00
2023-12-29 19:20:25 +01:00
2022-12-28 12:57:45 +01:00
2024-03-20 11:44:22 +01:00
2021-03-07 18:23:07 +01:00
2021-03-06 16:53:33 +01:00
2021-03-07 18:23:07 +01:00
2021-03-06 16:53:33 +01:00
2024-03-01 13:45:28 +01:00
2024-03-01 13:45:28 +01:00
2021-01-29 18:51:19 +01:00
2021-04-06 12:07:42 +02:00
2024-01-19 09:09:28 +01:00
2024-01-11 17:23:52 -05:00
2022-02-20 01:33:03 +01:00
2021-04-06 12:07:42 +02:00
2023-10-30 12:54:29 +01:00
2023-10-30 12:54:29 +01:00
2024-04-18 16:45:58 +02:00
2024-04-18 16:45:58 +02:00
2022-03-05 13:45:27 +01:00
2022-03-05 09:00:47 +01:00
2022-11-27 13:20:17 -05:00
2021-06-19 10:48:49 +02:00
2023-10-04 13:10:07 +02:00
2021-01-19 17:04:04 +01:00
2023-10-04 13:10:07 +02:00
2021-02-11 09:05:42 +01:00
2022-11-27 13:20:17 -05:00
2022-11-27 13:20:17 -05:00
2023-09-23 16:18:28 +02:00
2023-05-15 17:13:41 +02:00
2023-07-18 22:25:28 +02:00
2023-07-27 22:39:49 +02:00
2023-07-29 14:41:22 -04:00
2023-07-28 17:37:13 -04:00
2023-11-30 10:07:44 +01:00
2023-11-06 11:53:03 +01:00
2023-10-04 13:49:34 +02:00
2022-11-04 21:44:24 +01:00
2023-11-06 18:04:44 +01:00
2023-11-06 18:04:44 +01:00
2021-03-07 18:23:07 +01:00
2021-03-06 16:53:33 +01:00
2023-09-30 20:20:03 -04:00
2022-03-06 23:01:56 +01:00
2022-10-31 06:51:38 +01:00
2022-03-01 16:05:42 +01:00
2022-02-27 14:53:01 +01:00
2023-09-30 13:44:03 +02:00
2021-03-07 13:32:34 +01:00
2021-01-10 00:43:01 -05:00
2024-04-05 19:44:25 +02:00
2022-12-10 20:30:58 +01:00
2022-12-10 20:30:58 +01:00
2021-07-16 16:39:05 +02:00
2021-03-06 16:53:33 +01:00
2023-07-22 00:01:34 +02:00
2023-07-22 00:01:34 +02:00
2023-11-08 16:17:58 +01:00
2023-11-08 16:17:58 +01:00
2022-12-25 20:48:14 +01:00
2023-01-14 10:45:57 +01:00
2022-12-19 15:15:41 +01:00
2023-12-03 10:36:59 +01:00
2023-02-22 16:33:37 +01:00
2022-10-26 10:52:21 +02:00
2022-10-26 10:52:21 +02:00
2023-08-16 17:51:55 -04:00
2023-01-10 16:25:48 +01:00
2024-02-29 10:28:15 +01:00
2024-02-29 10:28:15 +01:00
2024-04-05 19:44:25 +02:00
2024-03-31 12:40:27 +02:00
2021-07-16 15:50:30 -04:00
2023-10-15 08:46:12 +02:00
2023-10-15 08:46:12 +02:00
2021-03-12 18:15:33 +02:00
2023-11-06 18:04:44 +01:00
2024-03-22 15:40:40 +01:00
2024-03-22 15:40:40 +01:00
2022-01-04 00:21:34 +00:00
2023-11-10 13:14:34 +01:00
2024-02-26 02:17:48 +01:00
2022-12-27 00:03:07 +01:00
2024-01-12 15:55:45 +01:00
2022-02-04 17:23:52 +01:00
2022-12-09 02:48:52 +01:00
2023-08-17 14:25:33 +02:00
2023-08-17 14:25:33 +02:00
2024-04-02 11:51:15 +02:00
2023-09-16 08:34:43 +02:00
2023-03-03 10:34:18 +01:00
2024-04-18 16:45:58 +02:00
2021-09-30 10:37:24 +03:00
2021-10-15 18:13:09 +02:00
2022-12-19 17:42:27 +01:00
2024-03-22 15:08:26 +01:00
2023-09-25 12:46:54 +02:00
2022-10-26 10:52:21 +02:00
2024-03-22 15:08:26 +01:00
2021-02-26 19:09:25 +01:00
2021-06-19 10:48:15 +02:00
2023-04-26 14:06:25 -04:00
2022-10-26 10:52:21 +02:00
2021-03-07 18:23:07 +01:00
2022-10-26 10:52:21 +02:00
2022-10-26 10:52:21 +02:00
2024-03-28 18:03:54 +01:00
2024-02-27 18:21:57 +01:00
2023-07-28 17:37:13 -04:00
2021-01-14 01:15:19 -05:00
2024-04-18 16:45:58 +02:00
2024-04-18 16:45:58 +02:00
2022-10-26 10:52:21 +02:00
2023-07-26 13:35:42 -04:00
2023-07-28 10:31:54 +02:00
2022-02-20 19:48:13 +01:00
2021-11-14 19:14:31 +01:00
2022-01-23 20:13:26 +01:00
2021-10-21 16:01:57 +02:00
2021-09-28 11:28:43 +03:00
2023-09-30 09:56:27 +02:00
2022-10-26 10:52:21 +02:00
2021-07-16 16:39:05 +02:00
2023-11-10 13:14:34 +01:00
2023-09-25 10:41:21 -04:00
2023-09-25 10:41:21 -04:00
e5aaa64b63