Fabian Boehm db244e0492 reader: Only maintain cursor position in non-empty prefix search
Otherwise this would always move the cursor to the beginning.

Fixes #11133
2025-02-05 22:13:14 +01:00
..
2024-12-08 13:57:10 -08:00
2024-12-08 13:57:10 -08:00
2024-06-02 15:31:19 -07:00
2024-04-02 22:41:54 +02:00
2020-11-22 14:39:48 +01:00
2023-06-01 18:20:19 +02:00
2024-12-15 17:38:37 +01:00
2024-12-15 17:32:47 +01:00
2024-06-02 14:17:36 -07:00