Jonas Jenwald
176e8f0ddc
Initialize the find-related DIACRITICS_EXCEPTION_STR
constant lazily
...
Adding some logging with `console.{time, timeEnd}` around all the constant definitions at the top of the `web/pdf_find_controller.js` file, I noticed that computing `DIACRITICS_EXCEPTION_STR` took close to half the total time.
My first idea was just to try and make it slightly more efficient, by reducing the amount of iterations and intermediate allocations. However, with this constant only being used during "match diacritics" searches it thus seemed like a good candidate for lazy initialization.
*Please note:* Given that this is a micro optimization, I fully understand if the patch is rejected.
2022-11-15 12:46:16 +01:00
..
2022-10-29 12:05:09 +02:00
2015-01-26 16:44:45 +01:00
2022-10-29 12:05:09 +02: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-10-06 13:09:39 +02:00
2022-06-13 10:47:37 +02:00
2015-08-14 18:59:55 +02:00
2022-09-05 15:41:53 +02:00
2011-07-05 10:53:57 -07:00
2022-09-21 21:49:17 +02:00
2022-06-12 13:07:03 +02:00
2022-08-28 15:04:47 +02: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-11-04 15:29:45 +01:00
2022-01-23 19:53:01 +01:00
2022-03-12 17:25:45 +01:00
2021-12-15 23:14:25 +01:00
2022-06-12 13:07:03 +02:00
2022-10-30 21:57:55 +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-06-12 13:07:03 +02: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-15 12:46:16 +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-09-19 21:31:52 +02: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-09-12 14:58:31 +02: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-06-12 13:07:03 +02:00
2022-08-14 11:38:17 +02:00
2022-10-03 13:08:38 +02:00
2022-09-19 21:25:56 +02:00
2022-08-28 15:04:47 +02:00
2022-10-07 18:19:10 +02:00
2022-08-28 19:21:45 +02: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-10-24 18:29:44 +02: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