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

jvergara
05.38.2009 2a60a162e5b570b4847b83fd51cf3e2a8cd11a0b
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));