refactored and patched for JAL-721

[jalview.git] / src / jalview / appletgui / AlignFrame.java

diff --git a/src/jalview/appletgui/AlignFrame.java b/src/jalview/appletgui/AlignFrame.java
index 9f77772..ffe445b 100755 (executable)
--- a/src/jalview/appletgui/AlignFrame.java
+++ b/src/jalview/appletgui/AlignFrame.java
@@ -796,38 +796,7 @@ public class AlignFrame extends EmbmenuFrame implements ActionListener,
     }
     else if (source == alProperties)
     {
-      StringBuffer contents = new StringBuffer();
-
-      float avg = 0;
-      int min = Integer.MAX_VALUE, max = 0;
-      for (int i = 0; i < viewport.alignment.getHeight(); i++)
-      {
-        int size = viewport.alignment.getSequenceAt(i).getEnd()
-                - viewport.alignment.getSequenceAt(i).getStart();
-        avg += size;
-        if (size > max)
-          max = size;
-        if (size < min)
-          min = size;
-      }
-      avg = avg / (float) viewport.alignment.getHeight();
-
-      contents.append("\nSequences: " + viewport.alignment.getHeight());
-      contents.append("\nMinimum Sequence Length: " + min);
-      contents.append("\nMaximum Sequence Length: " + max);
-      contents.append("\nAverage Length: " + (int) avg);
-
-      if (((Alignment) viewport.alignment).alignmentProperties != null)
-      {
-        Hashtable props = ((Alignment) viewport.alignment).alignmentProperties;
-        Enumeration en = props.keys();
-        while (en.hasMoreElements())
-        {
-          String key = en.nextElement().toString();
-          contents.append("\n" + key + "\t" + props.get(key));
-        }
-      }
-
+      StringBuffer contents = new jalview.io.AlignmentProperties(viewport.alignment).formatAsString();
       CutAndPasteTransfer cap = new CutAndPasteTransfer(false, this);
       cap.setText(contents.toString());
       Frame frame = new Frame();