GUI: restore selection and/or scroll position after search reset
Status:
Assigned
Created:
2016-09-23T11:20:24Z
Priority:
High
Progress:
0%
Last Update:
2022-04-29T09:59:19Z
Details:
here