X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fgui%2FAlignmentPanel.java;h=4a679b69f673c7233bebce5e60e295d3a3164dd0;hb=18254310f30a2f4d39a4110228e61f05953021cb;hp=b4647ae36692bd2e997be98493ab974699471dfe;hpb=b91c00e8dba2b753769ea921dbe4404f49896db0;p=jalview.git

diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java
index b4647ae..4a679b6 100644
--- a/src/jalview/gui/AlignmentPanel.java
+++ b/src/jalview/gui/AlignmentPanel.java
@@ -485,7 +485,7 @@ public class AlignmentPanel extends GAlignmentPanel implements
         return false;
       }
 
-      //fastPaint = false;
+      fastPaint = false;
       vscroll.setValue(vscroll.getValue() - 1);
     }
     else
@@ -495,11 +495,11 @@ public class AlignmentPanel extends GAlignmentPanel implements
         return false;
       }
 
-      //fastPaint = false;
+      fastPaint = false;
       vscroll.setValue(vscroll.getValue() + 1);
     }
 
-    //fastPaint = true;
+    fastPaint = true;
 
     return true;
   }
@@ -521,7 +521,7 @@ public class AlignmentPanel extends GAlignmentPanel implements
         return false;
       }
 
-      //fastPaint = false;
+      fastPaint = false;
       hscroll.setValue(hscroll.getValue() - 1);
     }
     else
@@ -531,11 +531,11 @@ public class AlignmentPanel extends GAlignmentPanel implements
         return false;
       }
 
-      //fastPaint = false;
+      fastPaint = false;
       hscroll.setValue(hscroll.getValue() + 1);
     }
 
-    //fastPaint = true;
+    fastPaint = true;
 
     return true;
   }
@@ -688,7 +688,7 @@ public class AlignmentPanel extends GAlignmentPanel implements
         seqPanel.seqCanvas.fastPaint(scrollX, scrollY);
         scalePanel.repaint();
 
-        if (av.getShowAnnotation())
+        if (av.getShowAnnotation() && scrollX!=0)
         {
           annotationPanel.fastPaint(scrollX);
         }
@@ -1094,7 +1094,9 @@ public class AlignmentPanel extends GAlignmentPanel implements
   void makeAlignmentImage(int type, File file)
   {
     long progress = System.currentTimeMillis();
-    if (alignFrame != null)
+    boolean headless = (System.getProperty("java.awt.headless") != null
+            && System.getProperty("java.awt.headless").equals("true"));
+    if (alignFrame != null && !headless)
     {
       alignFrame.setProgressBar("Saving "
               + (type == jalview.util.ImageMaker.PNG ? "PNG image"
@@ -1115,8 +1117,7 @@ public class AlignmentPanel extends GAlignmentPanel implements
       if (av.getWrapAlignment())
       {
         height = getWrappedHeight();
-        if (System.getProperty("java.awt.headless") != null
-                && System.getProperty("java.awt.headless").equals("true"))
+        if (headless)
         {
           // need to obtain default alignment width and then add in any
           // additional allowance for id margin
@@ -1184,7 +1185,7 @@ public class AlignmentPanel extends GAlignmentPanel implements
       }
     } finally
     {
-      if (alignFrame != null)
+      if (alignFrame != null && !headless)
       {
         alignFrame.setProgressBar("Export complete.", progress);
       }