Berthold Stoeger
0b7ba19775
fulltext: remember original query
...
So far, the fulltext-query structure only saves an canonicalized
upper-cased version of the query. However, if we want to save the
fulltext query to the log (filter presets) or want to restore an old
fulltext query, we have to store the original query. We don't want
to confront the user with the mangled upper-cased version.
Therefore, also save the original version.
Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
2020-09-29 16:13:03 -07:00
..
2020-04-19 14:27:54 -07:00
2020-08-21 08:40:56 -07:00
2020-04-25 13:18:41 -07:00
2019-05-12 12:33:55 -07:00
2019-05-12 12:33:55 -07:00
2020-08-22 19:35:58 -07:00
2020-08-22 19:35:58 -07:00
2019-10-09 22:38:29 +03:00
2019-04-12 12:59:17 +03:00
2019-12-05 11:48:26 -08:00
2019-04-12 12:59:17 +03:00
2020-09-13 13:54:59 -07:00
2020-05-22 19:19:58 +02:00
2017-05-31 21:53:00 -07:00
2018-09-01 11:31:18 -07:00
2019-08-08 08:56:44 -07:00
2016-04-04 22:33:58 -07:00
2019-08-08 16:26:31 -07:00
2019-08-29 12:55:25 -07:00
2019-08-08 16:26:30 -07:00
2017-04-29 13:32:55 -07:00
2020-05-15 04:05:06 +03:00
2019-04-16 23:43:14 +12:00
2020-09-03 11:38:13 -07:00
2018-08-23 14:41:01 -07:00
2020-05-06 00:22:31 +02:00
2019-08-08 16:26:31 -07:00
2020-09-13 13:54:59 -07:00
2020-09-13 13:54:59 -07:00
2017-05-04 10:50:15 -07:00
2017-05-04 10:50:15 -07:00
2020-05-01 08:53:45 -07:00
2020-09-29 15:46:55 -07:00
2020-09-13 13:54:59 -07:00
2020-05-16 12:40:08 -07:00
2020-04-24 10:05:27 -07:00
2020-08-17 13:21:49 -07:00
2020-05-02 14:52:51 +02:00
2019-08-08 16:26:30 -07:00
2019-03-27 07:36:33 -07:00
2019-08-08 16:26:31 -07:00
2018-10-13 21:41:41 -04:00
2020-03-17 14:05:24 -07:00
2020-05-01 09:42:31 -07:00
2020-09-06 12:59:54 -07:00
2020-09-05 17:34:15 +02:00
2020-05-15 02:49:46 +03:00
2020-03-16 07:58:20 -07:00
2020-09-12 10:36:36 -07:00
2020-09-12 10:36:36 -07:00
2019-10-27 12:42:54 -07:00
2019-08-08 16:26:30 -07:00
2020-05-01 09:42:31 -07:00
2017-04-29 13:32:55 -07:00
2020-09-04 15:54:08 +03:00
2020-09-03 11:38:13 -07:00
2018-04-09 11:29:43 -07:00
2018-04-09 11:29:43 -07:00
2020-09-29 16:13:03 -07:00
2020-09-29 16:13:03 -07:00
2019-08-08 15:22:09 -07:00
2019-06-19 13:11:10 -07:00
2019-06-19 13:11:10 -07:00
2019-11-09 19:19:04 +01:00
2019-06-19 13:11:10 -07:00
2017-04-29 13:32:55 -07:00
2018-06-24 20:31:14 +02:00
2018-06-24 20:31:14 +02:00
2020-09-22 14:10:12 -07:00
2020-06-14 13:35:33 -07:00
2020-09-29 16:25:44 +02:00
2020-09-29 16:25:44 +02:00
2020-01-10 02:37:03 +09:00
2019-02-07 16:06:43 +01:00
2019-11-09 19:19:04 +01:00
2020-05-26 11:33:10 -07:00
2019-04-12 18:19:07 +03:00
2019-11-09 19:19:04 +01:00
2020-09-04 15:54:08 +03:00
2020-09-19 11:20:27 -07:00
2019-11-09 19:19:04 +01:00
2020-04-09 17:05:44 -07:00
2020-09-29 14:35:57 -07:00
2020-03-16 07:58:20 -07:00
2020-05-01 09:42:31 -07:00
2020-09-06 12:59:54 -07:00
2020-04-09 17:05:44 -07:00
2020-05-01 09:42:31 -07:00
2019-10-27 12:42:54 -07:00
2020-09-19 11:11:16 -07:00
2018-10-21 19:55:09 +03:00
2017-04-29 13:32:55 -07:00
2017-04-29 13:32:55 -07:00
2020-05-01 09:42:31 -07:00
2020-05-01 09:42:31 -07:00
2020-05-01 09:42:31 -07:00
2020-09-06 12:59:54 -07:00
2020-09-06 12:59:54 -07:00
2020-09-06 12:59:54 -07:00
2020-05-06 13:58:09 -07:00
2020-05-06 13:58:09 -07:00
2020-05-06 13:58:09 -07:00
2020-05-06 13:58:09 -07:00
2020-09-21 11:42:02 -07:00
2020-05-01 09:42:31 -07:00
2019-11-09 19:19:04 +01:00
2020-03-01 10:21:44 -08:00
2020-05-01 08:53:45 -07:00
2020-07-02 09:27:50 -07:00
2020-09-17 07:54:35 -07:00
2020-01-27 09:51:31 -08:00
2018-09-11 17:22:58 -07:00
2020-09-15 11:54:36 -07:00
2020-09-21 13:42:00 -07:00
2020-09-21 13:42:00 -07:00
2020-06-18 09:05:13 -07:00
2020-05-06 13:58:09 -07:00
2020-05-29 09:20:17 -07:00
2019-08-08 16:26:30 -07:00
2020-04-18 13:41:29 +02:00
2019-08-08 16:26:31 -07:00
2020-05-14 13:27:07 -07:00
2020-09-20 18:23:57 -07:00
2020-05-03 15:02:21 -07:00
2020-06-18 09:05:13 -07:00
2020-03-16 07:58:20 -07:00
2020-03-16 07:58:20 -07:00
2016-04-04 22:33:58 -07:00
2016-04-04 22:33:58 -07:00
2019-12-13 07:04:00 -05:00
2020-05-01 09:42:31 -07:00
2019-11-09 19:19:04 +01:00
2017-04-29 13:32:55 -07:00
2018-05-14 10:13:39 -07:00
2020-05-06 13:58:09 -07:00
2018-05-14 10:13:39 -07:00
2020-09-29 16:13:03 -07:00
2020-04-19 14:27:54 -07:00
2019-08-08 16:26:30 -07:00
2019-03-27 07:36:33 -07:00
2019-03-27 07:36:33 -07:00
2020-05-06 13:58:09 -07:00
2019-10-27 12:42:54 -07:00
2019-06-19 13:11:10 -07:00
2020-09-06 12:59:54 -07:00
2020-09-06 12:59:54 -07:00
2020-09-29 16:13:03 -07:00
2020-03-10 17:42:54 -07:00
2020-03-10 17:42:54 -07:00
2020-05-01 09:42:31 -07:00
2020-05-03 15:02:21 -07:00
2020-05-01 09:42:31 -07:00
2019-11-09 19:19:04 +01:00
2018-10-29 00:09:31 +00:00
2019-08-29 12:55:25 -07:00
2020-09-04 15:54:08 +03:00
2020-04-09 17:05:44 -07:00
2020-02-17 10:50:51 -08:00
2020-02-09 12:13:18 -08:00
2019-12-12 10:10:01 -05:00
2019-12-12 10:10:01 -05:00
2017-04-29 13:32:55 -07:00
2016-04-04 22:33:58 -07:00
2019-08-08 16:26:30 -07:00
2018-07-28 15:31:25 -07:00
2017-04-29 13:32:55 -07:00
2020-04-09 17:05:44 -07:00
2018-07-30 13:55:23 -07:00
2018-07-30 13:55:23 -07:00
2017-04-29 13:32:55 -07:00
2020-05-01 09:42:31 -07:00
2020-02-09 12:13:18 -08:00
2020-05-01 09:42:31 -07:00
2018-09-25 14:59:14 -07:00