Johannes Altmanninger e84f588d11 reader: make Escape during history search restore commandline again
Commit 3b30d92b6 (Commit transient edit when closing pager, 2022-08-31)
inadvertently introduced two regressions to history search:

1. It made Escape keeps the selected history entry,
   instead of restoring the commandline before history search.
2. It made history search commands add undo entries.

Fix both of this issues.
2023-01-17 09:31:04 +01:00
..
2022-10-28 20:10:09 -07:00
2022-10-28 20:10:09 -07:00
2022-10-28 20:10:09 -07:00
2022-08-20 23:55:18 -07:00
2022-08-27 11:41:29 +02:00
2022-08-21 15:02:19 -07:00
2021-10-01 03:39:43 -07:00
2023-01-14 12:58:20 -08:00
2022-08-27 20:33:39 +02:00
2022-10-28 20:10:09 -07:00
2022-10-15 15:15:04 -05:00
2022-08-20 23:55:18 -07:00
2022-09-13 06:56:52 -07:00
2022-09-12 18:34:19 -07:00
2022-10-28 20:10:09 -07:00
2022-08-20 23:55:18 -07:00
2022-08-21 15:02:19 -07:00
2023-01-14 12:58:20 -08:00
2021-09-21 18:33:14 -07:00
2023-01-09 22:53:34 +01:00
2022-08-21 15:02:19 -07:00
2022-08-20 23:55:18 -07:00
2022-12-10 16:15:00 -08:00
2022-10-26 20:04:04 -07:00
2022-08-21 15:02:19 -07:00
2022-10-28 20:10:09 -07:00
2022-10-26 20:04:04 -07:00
2022-10-28 20:10:09 -07:00
2022-10-16 15:38:11 -05:00
2022-08-20 23:55:18 -07:00
2022-10-28 20:10:09 -07:00
2022-08-21 15:02:19 -07:00
2022-08-20 23:55:18 -07:00
2022-12-10 12:24:43 -08:00
2022-10-28 20:10:09 -07:00
2022-10-28 20:10:09 -07:00
2022-08-20 23:55:18 -07:00
2022-08-21 15:02:19 -07:00
2022-10-26 20:04:04 -07:00
2022-08-20 23:55:18 -07:00
2022-11-15 19:02:30 +01:00
2022-10-28 20:10:09 -07:00
2022-10-28 20:10:09 -07:00
2022-10-28 20:10:09 -07:00
2022-08-20 23:55:18 -07:00
2022-08-20 23:55:18 -07:00
2022-12-10 12:24:43 -08:00
2022-12-10 12:24:43 -08:00
2022-12-10 16:15:00 -08:00
2022-08-21 15:02:19 -07:00
2022-10-28 20:10:09 -07:00
2022-10-28 20:10:09 -07:00
2022-10-28 20:10:09 -07:00
2022-08-21 15:02:19 -07:00
2022-08-21 15:02:19 -07:00
2022-08-30 23:56:33 -07:00
2022-08-20 23:55:18 -07:00
2022-10-26 19:58:40 -07:00
2022-10-26 19:58:40 -07:00
2022-10-28 20:10:09 -07:00
2022-08-21 15:02:19 -07:00
2022-08-20 23:55:18 -07:00
2022-08-20 23:55:18 -07:00
2022-08-21 15:02:19 -07:00
2022-12-11 10:26:39 -08:00
2022-12-04 14:48:20 -08:00
2022-08-20 23:55:18 -07:00