mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

jvergara
16.48.2009 2d5ba62ec69e7ffa4b98149a9f6fef539e38251f
opends/src/guitools/org/opends/guitools/controlpanel/util/Utilities.java
@@ -993,6 +993,12 @@
    }
    JEditorPane pane2 = makeHtmlPane(wrappedText, font);
    pane.setPreferredSize(pane2.getPreferredSize());
    JFrame frame = getFrame(pane);
    if ((frame != null) && frame.isVisible())
    {
      frame.getRootPane().revalidate();
      frame.getRootPane().repaint();
    }
  }
  /**