[BLUEJ-323] Re-loading the source file after on-disk modification does not clear search highlights
In the editor, perform a search which highlights several search terms
- Modify the source file on disk (outside of BlueJ)
- Re-load the source file in the editor
The previous search highlights remain \- they should have been cleared.
Issue metadata
- Issue type: Bug
- Priority: Low
- Fix versions: 3.0.7