[BLUEJ-241] Incorrect replace behaviour; replace buttons can be enabled inappropriately
In MoeEditor:
{noformat}
public void mouseClicked(MouseEvent e)
{
if (getSourcePane().getSelectedText()==null){
enableReplaceButtons(false);
}
}
{noformat}
... however, this is assuming that the user clicks the mouse to move the caret. That's not a valid assumption; for instance I can use ctrl+Tab to move focus back to the main editor window, and then use the cursor keys to move the caret/change the selection.
Issue metadata
- Issue type: Bug
- Priority: Low
- Fix versions: 3.0.0