[BLUEJ-242] Replace panel should use DocumentListener to detect changes to text field
In the editor, the replace panel should use a document listener to detect changes to the replace text field, not a key listener.
In other words: it should work in the same way that the find panel does.
Currently you can use the mouse to change the text (eg by drag/drop) and the code doesn't handle this correctly.
Issue metadata
- Issue type: Bug
- Priority: Low
- Fix versions: 3.0.0