From f734502d2523df2ebd6b2a34505d79e5a592bc9b Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Fri, 20 May 2005 13:29:06 +0000 Subject: [PATCH] scroller is now a panel --- src/jalview/jbappletgui/GAlignmentPanel.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/jalview/jbappletgui/GAlignmentPanel.java b/src/jalview/jbappletgui/GAlignmentPanel.java index 6a3ed74..4825e29 100755 --- a/src/jalview/jbappletgui/GAlignmentPanel.java +++ b/src/jalview/jbappletgui/GAlignmentPanel.java @@ -29,8 +29,9 @@ public class GAlignmentPanel extends Panel BorderLayout borderLayout10 = new BorderLayout(); protected Panel hscrollFillerPanel = new Panel(); BorderLayout borderLayout11 = new BorderLayout(); - public ScrollPane annotationScroller = new ScrollPane( ScrollPane.SCROLLBARS_NEVER ); + public Panel annotationScroller = new Panel(); BorderLayout borderLayout4 = new BorderLayout(); + BorderLayout borderLayout2 = new BorderLayout(); public GAlignmentPanel() { @@ -69,6 +70,7 @@ public class GAlignmentPanel extends Panel // this.setPreferredSize(new Dimension(220, 166)); seqPanelHolder.setBackground(Color.white); idPanelHolder.setBackground(Color.white); + annotationScroller.setLayout(borderLayout2); sequenceHolderPanel.add(scalePanelHolder, BorderLayout.NORTH); sequenceHolderPanel.add(seqPanelHolder, BorderLayout.CENTER); seqPanelHolder.add(vscroll, BorderLayout.EAST); -- 1.7.10.2