GUI: restore selection and/or scroll position after search reset
Status:
Assigned
Created:
2016-09-23T11:20:24Z
Priority:
Low
Progress:
0%
Last Update:
2024-08-13T11:20:21Z
Details:
here