@Override public void focusLost(FocusEvent e) { correction.removeCorrectionPanels(); }
@Override public void focusGained(FocusEvent e) { correction.addCorrectionPanels(); }