Jonas Jenwald
6a5c1343f8
Stop trying to disable searching in PresentationMode
...
This change was made in PR 5552, however I cannot tell why we needed to disable searching in PresentationMode. Furthermore, with the changes in PR 13908 which effectively moved where this code is invoked, searching has now (accidentally) been working in PresentationMode in e.g. the Firefox PDF Viewer for well over a year.
So, let's just enable searching unconditionally in PresentationMode to simplify the code.
2022-12-08 15:33:57 +01:00
..
2022-12-02 09:52:03 +01:00
2015-01-26 16:44:45 +01:00
2022-11-29 15:48:55 +01:00
2022-08-12 14:35:26 +02:00
2022-07-27 18:46:25 +02:00
2022-09-22 10:01:24 +02:00
2022-10-30 21:57:55 +01:00
2022-10-07 00:10:46 +02:00
2022-12-03 12:52:36 +01:00
2022-06-13 10:47:37 +02:00
2015-08-14 18:59:55 +02:00
2022-12-03 12:52:36 +01:00
2011-07-05 10:53:57 -07:00
2022-09-21 21:49:17 +02:00
2022-12-01 15:43:17 +01:00
2022-12-08 14:06:06 +01:00
2022-11-04 15:29:45 +01:00
2022-11-04 15:29:45 +01:00
2022-08-03 17:25:01 +02:00
2022-12-03 12:52:36 +01: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
2022-12-08 14:06:06 +01:00
2022-10-06 13:09:39 +02: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
2022-09-29 10:44:06 +02:00
2022-05-28 12:39:49 +02:00
2022-03-31 23:12:56 +02:00
2022-11-29 10:46:48 +01:00
2019-12-26 12:34:24 +01:00
2022-04-05 14:13:20 +02:00
2022-09-01 17:34:24 +02:00
2022-10-30 21:57:55 +01:00
2022-10-06 10:33:07 +02:00
2022-12-06 10:02:20 +01:00
2022-10-30 21:55:44 +01:00
2022-09-24 15:02:12 +02:00
2021-12-15 23:17:08 +01:00
2022-06-18 16:43:05 +02:00
2022-05-25 09:55:54 +02:00
2022-09-30 09:59:58 +02:00
2022-09-08 12:38:17 +02:00
2022-07-31 13:59:56 +02:00
2022-09-05 15:41:53 +02:00
2022-09-08 12:38:17 +02:00
2022-06-29 11:52:19 +02:00
2022-12-08 15:33:57 +01:00
2019-12-26 12:34:24 +01:00
2022-03-12 17:25:45 +01:00
2022-06-12 13:07:03 +02:00
2022-09-12 13:59:45 +02:00
2022-12-04 10:18:58 +01:00
2022-08-14 11:38:17 +02:00
2022-12-01 18:42:43 +01:00
2022-12-01 18:42:43 +01:00
2022-12-04 21:22:14 +01:00
2022-10-07 18:19:10 +02:00
2022-11-24 12:37:07 +01:00
2020-03-21 13:55:06 +01:00
2017-05-31 09:22:25 -05:00
2022-03-28 11:36:29 +02: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
2022-10-30 21:55:44 +01:00
2022-11-29 14:08:01 +01:00
2022-10-01 17:35:35 +02:00
2022-10-07 15:11:58 +02:00
2022-06-12 13:07:03 +02:00