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

jvergara
05.38.2009 60bdad67b4694360fc959c5bfa0148aaa30d959a
opendj-sdk/opends/src/guitools/org/opends/guitools/controlpanel/ui/BrowseIndexPanel.java
@@ -437,7 +437,7 @@
    treeScroll.setPreferredSize(
        new Dimension(2 * treeScroll.getPreferredSize().width,
            8 * treeScroll.getPreferredSize().height));
    entryPane.setBorder(treeScroll.getBorder());
    entryPane.setBorder(getRightPanelBorder());
    entryPane.setPreferredSize(
        new Dimension((treeScroll.getPreferredSize().width * 5) / 2,
        treeScroll.getPreferredSize().height));