Johannes Altmanninger 453aac14af Advance pager history search with Control-R/Control-S
Note that every change to the search field still starts a new search, from
the end of history. We could change this in future but it's unclear to me
what the expected behavior is. I don't find the traditional readline behavior
very intuitive.
2022-07-30 23:27:24 +02:00
..
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-24 20:11:39 +01:00
2022-06-16 19:45:55 +10:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-05-14 10:59:41 +02:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-07-18 20:39:01 +02:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-07-16 12:40:36 -07:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00