@Override public final void setFont(final Font f) { super.setFont(f); if (rend != null) { rend.setFont(f); scrollCode.invokeLater(true); } }
@Override public final void setFont(final Font f) { super.setFont(f); if (rend != null) { rend.setFont(f); rend.repaint(); } }