From: tcofoegbu <tcnofoegbu@dundee.ac.uk>
Date: Wed, 12 Oct 2016 15:03:26 +0000 (+0100)
Subject: JAL-2255 another possible fix
X-Git-Tag: Release_2_10_2~3^2~133^2~2
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=e20075ba805d744d7cc4976e2b8d5e5840fb0a8d;p=jalview.git

JAL-2255 another possible fix
---

diff --git a/src/jalview/gui/JDatabaseTree.java b/src/jalview/gui/JDatabaseTree.java
index fba790f..f07ade2 100644
--- a/src/jalview/gui/JDatabaseTree.java
+++ b/src/jalview/gui/JDatabaseTree.java
@@ -159,11 +159,11 @@ public class JDatabaseTree extends JalviewDialog implements KeyListener
     dbviews.getSelectionModel().setSelectionMode(
             TreeSelectionModel.SINGLE_TREE_SELECTION);
     svp.getViewport().setView(dbviews);
-    // svp.getViewport().setMinimumSize(new Dimension(300,200));
-    // svp.setSize(300,250);
-    // JPanel panel=new JPanel();
-    // panel.setSize(new Dimension(350,220));
-    // panel.add(svp);
+    svp.getViewport().setMinimumSize(new Dimension(300, 200));
+    svp.setSize(300, 250);
+    JPanel panel = new JPanel(new BorderLayout());
+    panel.setSize(new Dimension(350, 220));
+    panel.add(svp);
     dbviews.addTreeSelectionListener(new TreeSelectionListener()
     {