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

jvergara
03.58.2009 ed965a01d8392b63a57ff52b5e707bba253c32d2
opends/src/guitools/org/opends/guitools/controlpanel/util/Utilities.java
@@ -402,6 +402,7 @@
    scroll.getViewport().setOpaque(false);
    scroll.getViewport().setBackground(ColorAndFontConstants.background);
    scroll.setBackground(ColorAndFontConstants.background);
    setScrollIncrementUnit(scroll);
    return scroll;
  }
@@ -417,10 +418,24 @@
    scroll.setOpaque(false);
    scroll.getViewport().setBackground(ColorAndFontConstants.background);
    scroll.setBackground(ColorAndFontConstants.background);
    setScrollIncrementUnit(scroll);
    return scroll;
  }
  /**
   * Sets the scroll increment unit for the scroll.
   * @param scroll the scroll to be updated.
   */
  public static void setScrollIncrementUnit(JScrollPane scroll)
  {
    if (scroll.getVerticalScrollBar() != null)
    {
      int increment = scroll.getVerticalScrollBar().getUnitIncrement();
      scroll.getVerticalScrollBar().setUnitIncrement(increment * 3);
    }
  }
  /**
   * Creates a button.
   * @param text the message to be displayed by the button.
   * @return the created button.