/** * Refreshes the layout. * * @param f used font */ public final void refreshLayout(final Font f) { setFont(f); scroll.refreshLayout(); }