JAL-1620 version bump and release notes
[jalview.git] / src / jalview / appletgui / AlignmentPanel.java
index fd03e30..f2fca58 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8.2)
+ * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8.2b1)
  * Copyright (C) 2014 The Jalview Authors
  * 
  * This file is part of Jalview.
  */
 package jalview.appletgui;
 
-import java.awt.*;
-import java.awt.event.*;
-
 import jalview.api.AlignmentViewPanel;
-import jalview.datamodel.*;
+import jalview.datamodel.AlignmentI;
+import jalview.datamodel.SearchResults;
+import jalview.datamodel.SequenceI;
 import jalview.structure.StructureSelectionManager;
 
+import java.awt.BorderLayout;
+import java.awt.Color;
+import java.awt.Dimension;
+import java.awt.FontMetrics;
+import java.awt.Frame;
+import java.awt.Graphics;
+import java.awt.Panel;
+import java.awt.Scrollbar;
+import java.awt.event.AdjustmentEvent;
+import java.awt.event.AdjustmentListener;
+import java.awt.event.ComponentAdapter;
+import java.awt.event.ComponentEvent;
+
 public class AlignmentPanel extends Panel implements AdjustmentListener,
         AlignmentViewPanel
 {
@@ -435,7 +447,9 @@ public class AlignmentPanel extends Panel implements AdjustmentListener,
     {
       annotationSpaceFillerHolder.setVisible(b);
       annotationPanelHolder.setVisible(b);
-    } else {
+    }
+    else
+    {
       annotationSpaceFillerHolder.setVisible(false);
       annotationPanelHolder.setVisible(false);
     }
@@ -486,10 +500,12 @@ public class AlignmentPanel extends Panel implements AdjustmentListener,
 
     if (adjustPanelHeight)
     {
-      // NOTE: this logic is different in the application. Need a better algorithm to define behaviour
+      // NOTE: this logic is different in the application. Need a better
+      // algorithm to define behaviour
       // sets initial preferred height
       // try and set height according to alignment
-      float sscaling = (float) ((av.getCharHeight() * av.getAlignment().getHeight())/(1.0*mheight));
+      float sscaling = (float) ((av.getCharHeight() * av.getAlignment()
+              .getHeight()) / (1.0 * mheight));
       if (sscaling > 0.5)
       {
         // if the alignment is too big then
@@ -498,7 +514,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener,
       }
       else
       {
-        // otherwise just set the panel so that one row of sequence is visible 
+        // otherwise just set the panel so that one row of sequence is visible
         height = -av.getCharHeight() * 1
                 + (int) (seqandannot * (1 - sscaling));
       }
@@ -549,13 +565,13 @@ public class AlignmentPanel extends Panel implements AdjustmentListener,
       annotationPanelHolder.setVisible(true);
       annotationSpaceFillerHolder.setVisible(true);
     }
-    
+
     idSpaceFillerPanel1.setVisible(!wrap);
 
     fontChanged(); // This is so that the scalePanel is resized correctly
 
     validate();
-    sequenceHolderPanel.revalidate();
+    sequenceHolderPanel.validate();
     repaint();
 
   }
@@ -825,7 +841,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener,
 
     seqPanel.seqCanvas.repaint();
     idPanel.idCanvas.repaint();
-    if (!av.wrapAlignment) 
+    if (!av.wrapAlignment)
     {
       if (av.showAnnotation)
       {
@@ -834,7 +850,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener,
       }
       scalePanel.repaint();
     }
-    
+
   }
 
   protected Panel sequenceHolderPanel = new Panel();
@@ -961,6 +977,12 @@ public class AlignmentPanel extends Panel implements AdjustmentListener,
   }
 
   @Override
+  public String getViewName()
+  {
+    return getName();
+  }
+
+  @Override
   public StructureSelectionManager getStructureSelectionManager()
   {
     return StructureSelectionManager