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