211212213214215216217218219220221
public void stateChanged(ChangeEvent e) { updateSyntaxHighlighting(false); } }); viewport.addFocusListener(new FocusListener() { public void focusGained(FocusEvent e) { updateSyntaxHighlighting(false); } public void focusLost(FocusEvent e) {}