Jonas Jenwald
2de6fd8e70
Prevent incomplete copy-all behaviour while text-extraction is running (PR 16286 follow-up)
...
Currently we only prevent triggering the actual text-extraction multiple times in "parallel", when using the "copy all text" feature, however the "copy"-event itself is not prevented.
The result is that if the user selects all text in a long PDF document and then uses the copy-shortcut multiple times in quick succession, we'll actually populate the clipboard with "incomplete" contents (via a `TextLayerBuilder` copy-listener) until all text-extraction finishes.
2023-04-25 21:39:16 +02:00
..
2023-04-24 14:03:23 +02:00
2015-01-26 16:44:45 +01:00
2023-04-19 20:47:57 +02:00
2023-02-01 17:53:44 +01:00
2023-04-03 09:05:07 +02:00
2023-04-19 15:32:10 +02:00
2022-12-14 12:23:24 +01:00
2023-04-17 12:04:34 +02:00
2023-04-17 12:04:34 +02:00
2022-06-13 10:47:37 +02:00
2015-08-14 18:59:55 +02:00
2023-02-09 11:18:08 +01:00
2011-07-05 10:53:57 -07:00
2023-04-19 20:47:57 +02:00
2022-12-01 15:43:17 +01:00
2023-02-06 12:02:22 +01:00
2023-04-23 15:41:02 +02:00
2023-04-14 10:02:28 +02:00
2023-04-23 15:41:02 +02:00
2022-01-23 19:53:01 +01:00
2022-12-03 12:52:36 +01:00
2021-12-15 23:14:25 +01:00
2022-06-12 13:07:03 +02:00
2023-04-02 15:23:45 +02:00
2023-03-23 12:57:10 +01:00
2022-06-13 10:47:37 +02:00
2022-08-22 11:17:08 +02:00
2022-11-23 10:47:33 +01:00
2023-02-05 14:12:32 +01:00
2022-05-28 12:39:49 +02:00
2023-04-15 13:32:37 +02:00
2023-04-17 14:31:23 +02:00
2023-04-17 14:31:23 +02:00
2022-04-05 14:13:20 +02:00
2022-09-01 17:34:24 +02:00
2023-04-15 13:32:37 +02:00
2022-10-06 10:33:07 +02:00
2023-04-25 11:07:05 +02:00
2022-10-30 21:55:44 +01:00
2023-04-23 15:41:02 +02:00
2021-12-15 23:17:08 +01:00
2023-02-07 16:07:12 +01:00
2022-05-25 09:55:54 +02:00
2023-04-13 13:18:37 +02:00
2022-09-08 12:38:17 +02:00
2023-04-02 15:23:45 +02:00
2023-02-12 18:38:31 +01:00
2022-12-18 13:26:54 +01:00
2023-04-25 11:07:05 +02:00
2023-04-25 21:39:16 +02:00
2019-12-26 12:34:24 +01:00
2023-04-17 12:04:34 +02:00
2022-06-12 13:07:03 +02:00
2023-04-13 13:18:37 +02:00
2023-02-07 15:33:01 +01:00
2023-02-05 14:12:32 +01:00
2022-08-14 11:38:17 +02:00
2023-04-17 14:31:23 +02:00
2023-04-20 14:14:33 +02:00
2023-04-25 11:07:05 +02:00
2023-04-24 14:03:23 +02:00
2023-04-13 13:18:37 +02:00
2023-04-25 11:07:05 +02:00
2020-03-21 13:55:06 +01:00
2023-04-24 14:03:23 +02:00
2023-04-24 14:03:23 +02:00
2023-04-17 12:04:34 +02:00
2017-05-31 09:22:25 -05:00
2022-03-28 11:36:29 +02:00
2023-03-14 10:12:42 +01:00
2016-02-14 13:23:34 +01:00
2017-05-31 09:22:25 -05:00
2023-04-20 09:26:19 +02:00
2023-04-17 12:07:20 +02:00
2023-04-16 15:36:19 +02:00
2023-04-17 23:32:04 +02:00
2022-12-11 13:08:23 +01:00