Put alignmentProperties in scrollpane

diff --git a/src/jalview/gui/AlignFrame.java b/src/jalview/gui/AlignFrame.java
index 71581f6..61c6672 100755 (executable)
--- 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);
   }