JAL-1641 updated applet version
[jalview.git] / src / jalview / gui / AlignFrame.java
index 6481855..b646d5b 100644 (file)
@@ -1250,11 +1250,13 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener,
         alignmentToExport = viewport.getAlignment();
         alignmentStartEnd = getStartEnd(alignmentStartEnd, viewport
                 .getColumnSelection().getHiddenColumns());
+        viewport.setIncludeHiddenRegion(false);
       }
       else
       {
         // export all region including visible
         alignmentToExport = hiddenSeqs.getFullAlignment();
+        viewport.setIncludeHiddenRegion(true);
       }
     }
 
@@ -6126,13 +6128,17 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener,
   {
     AlignmentI al = viewport.getAlignment();
     HiddenSequences hiddenSeqs = al.getHiddenSequences();
+    boolean hasHiddenRows = false;
     for (SequenceI seq : al.getSequencesArray())
       {
         if (seq.isHidden())
         {
         hiddenSeqs.hideSequence(seq);
+        hasHiddenRows = true;
         }
       }
+    viewport.setHasHiddenRows(hasHiddenRows);
+    firePropertyChange("alignment", null, al.getSequences());
   }
 }