From e9217775986fbca85770d7fe5b3763b6920b0c3f Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Fri, 27 Apr 2007 14:47:00 +0000 Subject: [PATCH] Put alignmentProperties in scrollpane --- src/jalview/gui/AlignFrame.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/jalview/gui/AlignFrame.java b/src/jalview/gui/AlignFrame.java index 71581f6..61c6672 100755 --- a/src/jalview/gui/AlignFrame.java +++ b/src/jalview/gui/AlignFrame.java @@ -2321,7 +2321,8 @@ public class AlignFrame } editPane.setText(contents.toString()+""); JInternalFrame frame = new JInternalFrame(); - frame.getContentPane().add(editPane); + frame.getContentPane().add(new JScrollPane(editPane)); + Desktop.instance.addInternalFrame(frame,"Alignment Properties: "+getTitle(),500,400); } -- 1.7.10.2