From e20075ba805d744d7cc4976e2b8d5e5840fb0a8d Mon Sep 17 00:00:00 2001 From: tcofoegbu Date: Wed, 12 Oct 2016 16:03:26 +0100 Subject: [PATCH] JAL-2255 another possible fix --- src/jalview/gui/JDatabaseTree.java | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) 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() { -- 1.7.10.2