Closed robmcmullen closed 6 years ago
typing some text into teh search box and then deleting it leaves the last search result highlighted in yellow. refreshing that pane by hand updates it correctly, so it's just a refresh problem.
typing some text into teh search box and then deleting it leaves the last search result highlighted in yellow. refreshing that pane by hand updates it correctly, so it's just a refresh problem.