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

jvergara
04.55.2009 70dacfc28342afef7ac03c413b99460167675532
opends/src/guitools/org/opends/guitools/controlpanel/util/Utilities.java
@@ -431,7 +431,10 @@
    if (scroll.getVerticalScrollBar() != null)
    {
      int increment = scroll.getVerticalScrollBar().getUnitIncrement();
      scroll.getVerticalScrollBar().setUnitIncrement(increment * 3);
      if (increment < 16)
      {
        scroll.getVerticalScrollBar().setUnitIncrement(16);
      }
    }
  }