From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 27 Apr 2007 14:47:00 +0000 (+0000)
Subject: Put alignmentProperties in scrollpane
X-Git-Tag: Release_2_3~123
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=e9217775986fbca85770d7fe5b3763b6920b0c3f;p=jalview.git

Put alignmentProperties in scrollpane
---

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()+"</html>");
     JInternalFrame frame = new JInternalFrame();
-    frame.getContentPane().add(editPane);
+    frame.getContentPane().add(new JScrollPane(editPane));
+
     Desktop.instance.addInternalFrame(frame,"Alignment Properties: "+getTitle(),500,400);
   }