Eric Abrahamsen
aae44a36f3
Ensure that Gnus servers are open(able) before searching them
...
* lisp/gnus/gnus-search.el (gnus-search-run-search): Imap servers need
to be opened (made into the "current server") before we manipulate the
nnimap-buffer.
(gnus-search-run-search): Sneakily fix regexp.
(gnus-search-indexed-parse-output): We need to pass the server name in
here, otherwise nnmaildir won't know how to make this the "current
server".
2020-12-22 09:01:25 -08:00
..
2020-10-03 12:53:51 +02:00
2020-10-03 12:53:51 +02:00
2020-12-19 13:18:11 +02:00
2020-05-11 04:34:55 +03:00
2020-12-07 16:45:33 +01:00
2020-12-19 18:21:06 +01:00
2020-10-16 07:21:05 +02:00
2020-11-14 17:04:23 +01:00
2020-09-09 17:01:44 +08:00
2020-09-06 16:06:57 +01:00
2020-12-07 16:45:33 +01:00
2020-08-27 14:19:07 -07:00
2020-03-20 11:39:44 -07:00
2020-06-12 09:17:04 -07:00
2020-11-25 22:13:33 +01:00
2020-07-30 05:32:16 +02:00
2020-12-19 18:21:06 +01:00
2020-10-16 10:46:14 +02:00
2020-09-11 09:02:09 +08:00
2020-07-17 01:46:57 +02:00
2020-12-07 16:45:33 +01:00
2020-12-19 15:26:48 -08:00
2020-12-07 16:45:33 +01:00
2020-12-19 18:21:06 +01:00
2020-12-22 09:01:25 -08:00
2020-06-18 12:46:21 +01:00
2020-12-07 16:45:33 +01:00
2020-12-07 16:45:33 +01:00
2020-12-21 05:55:32 +01:00
2020-12-07 16:45:33 +01:00
2020-12-07 16:45:33 +01:00
2020-10-27 19:29:02 +01:00
2020-12-20 17:32:24 +00:00
2020-12-11 02:23:23 +00:00
2020-12-19 18:21:06 +01:00
2020-06-18 12:46:21 +01:00
2020-06-18 12:46:21 +01:00
2020-12-19 18:21:06 +01:00
2020-09-07 16:29:59 +02:00
2020-10-01 15:28:15 +02:00
2020-02-20 16:03:30 +01:00
2020-12-07 16:45:33 +01:00
2020-08-14 13:07:26 +02:00
2020-11-25 22:13:33 +01:00
2020-10-02 10:47:23 +02:00
2020-08-14 13:07:26 +02:00
2020-12-07 16:45:33 +01:00
2020-02-26 17:10:48 -08:00
2020-12-07 16:45:33 +01:00
2020-08-22 15:42:17 +02:00
2020-04-15 07:50:15 -07:00
2020-12-07 16:45:33 +01:00
2020-12-07 16:45:33 +01:00
2020-12-07 16:45:33 +01:00
2020-12-19 18:21:06 +01:00
2020-10-02 09:38:24 -07:00
2020-11-17 18:42:38 +01:00
2020-02-26 17:10:48 -08:00
2020-12-19 18:21:06 +01:00
2020-12-07 16:45:33 +01:00
2020-10-01 15:28:15 +02:00
2020-11-10 08:19:43 +08:00
2020-09-05 08:46:43 +08:00
2020-12-19 18:21:06 +01:00
2020-12-19 13:18:11 +02:00
2020-10-18 09:42:25 +02:00
2020-11-25 22:13:33 +01:00
2020-10-01 15:28:15 +02:00
2020-12-06 11:45:52 +00:00