Adds check for gap padding to disallow fast paint upon pasting if
[jalview.git] / src / jalview / viewmodel / AlignmentViewport.java
index 5a99c3d..f2ab8a6 100644 (file)
@@ -1323,6 +1323,21 @@ public abstract class AlignmentViewport
    */
   private boolean followHighlight = true;
 
+  private boolean disableFastPaint; // BH 2019.04.18
+
+  /**
+   * BH 2019.04.18 When gap filling is on and a modification is made to fill
+   * those, we need to disallow fast painting for paste just once
+   * 
+   * @return
+   */
+  public boolean isFastPaintDisabled()
+  {
+    boolean ret = disableFastPaint;
+    disableFastPaint = false;
+    return ret;
+  }
+
   /**
    * Property change listener for changes in alignment
    * 
@@ -1857,7 +1872,11 @@ public abstract class AlignmentViewport
   {
     if (isPadGaps())
     {
-      alignment.padGaps();
+      if (alignment.padGaps())
+      {
+        // the new alignment has been modified -- can't fast paint
+        disableFastPaint = true;
+      }
     }
     if (autoCalculateConsensus)
     {