Jean-Marc Lasgouttes 82f387dabc Fix faulty undo recording
The recordUndo() call is very wrong, since we may be inserting over a
selection covering several paragraphs (undo itself works at paragraph
granularity).

recordUndoSelection() is the right operation in this case. It is
equivalent to recordUndo() when there is no selection.
2024-07-16 15:43:11 +02:00
..
2024-07-14 09:42:36 +02:00
2024-06-25 12:01:53 +02:00
2024-07-06 09:25:57 +02:00
2024-07-14 09:42:36 +02:00
2024-07-14 09:42:36 +02:00
2024-07-14 09:42:36 +02:00
2022-11-27 13:20:17 -05:00
2023-10-04 13:10:07 +02:00
2023-10-04 13:10:07 +02: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
2024-07-03 16:23:30 +02:00
2024-05-03 14:38:32 +02:00
2024-06-03 22:05:15 -04:00
2024-05-14 13:18:05 +02:00
2024-05-14 13:18:05 +02:00
2022-10-26 10:52:21 +02:00
2022-10-26 10:52:21 +02:00
2024-07-12 19:04:18 +02:00
2024-07-15 12:10:25 +02:00
2024-06-22 13:38:47 +02:00
2024-06-09 07:29:37 +02:00
2024-05-17 12:18:09 -04:00
2022-10-26 10:52:21 +02:00
2024-06-14 16:28:04 +02:00
2022-10-26 10:52:21 +02:00
2022-10-26 10:52:21 +02:00
2022-10-26 10:52:21 +02:00
2024-07-16 15:43:11 +02:00
2022-10-26 10:52:21 +02:00
2023-07-28 10:31:54 +02:00
2022-10-26 10:52:21 +02:00