Skip to content

Ensure selection visible during "find"#135

Merged
hanjinliu merged 2 commits intomainfrom find-scrollJun 21, 2024