JAL-2600 reinstate original behaviour
authorkiramt <k.mourao@dundee.ac.uk>
Mon, 26 Jun 2017 13:33:15 +0000 (14:33 +0100)
committerkiramt <k.mourao@dundee.ac.uk>
Mon, 26 Jun 2017 13:33:15 +0000 (14:33 +0100)
src/jalview/gui/AnnotationPanel.java
src/jalview/gui/SeqCanvas.java

index 452f002..c688789 100755 (executable)
@@ -451,7 +451,7 @@ public class AnnotationPanel extends JPanel implements AwtRenderPanelI,
      * the selection list (read-only view) is in selection order, not
      * column order; make a copy so we can sort it
      */
-    List<Integer> selected = new ArrayList<Integer>(viscols.getSelected());
+    List<Integer> selected = new ArrayList<>(viscols.getSelected());
     Collections.sort(selected);
     for (int index : selected)
     {
@@ -1168,10 +1168,13 @@ public class AnnotationPanel extends JPanel implements AwtRenderPanelI,
   public void propertyChange(PropertyChangeEvent evt)
   {
     // Respond to viewport range changes (e.g. alignment panel was scrolled)
-    if (evt.getPropertyName().equals("startres")
-            || evt.getPropertyName().equals("endres"))
+    if (evt.getPropertyName().equals("startres"))
     {
       fastPaint((int) evt.getNewValue() - (int) evt.getOldValue());
     }
+    else if (evt.getPropertyName().equals("endres"))
+    {
+      // resize
+    }
   }
 }
index 1625c52..d3ba304 100755 (executable)
@@ -989,9 +989,10 @@ public class SeqCanvas extends JComponent implements ViewportListenerI
   {
     if (!av.getWrapAlignment())
     {
-      if (evt.getPropertyName().equals("startres")
-              || evt.getPropertyName().equals("endres"))
+      if (evt.getPropertyName().equals("startres"))
       {
+        // scroll - startres and endres both change
+
         // Make sure we're not trying to draw a panel
         // larger than the visible window
         ViewportRanges vpRanges = av.getRanges();
@@ -1006,11 +1007,19 @@ public class SeqCanvas extends JComponent implements ViewportListenerI
         }
         fastPaint(scrollX, 0);
       }
-      else if (evt.getPropertyName().equals("startseq")
-              || evt.getPropertyName().equals("endseq"))
+      else if (evt.getPropertyName().equals("endres"))
+      {
+        // resize - only endres changes
+      }
+      else if (evt.getPropertyName().equals("startseq"))
       {
+        // scroll
         fastPaint(0, (int) evt.getNewValue() - (int) evt.getOldValue());
       }
+      else if (evt.getPropertyName().equals("endseq"))
+      {
+        // resize
+      }
     }
   }
 }