X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FJalview2XML.java;h=39755f9b5fd6d4a007f7f685a1dc70d5ff394e0c;hb=55deb271c9f6fa106548013a9790db38d518cf6c;hp=fdc28470cd5ab6760c2e67d7fbf6f9b4b64a91c0;hpb=aa4e99f8937ce22963cf32f1e92f174ee52ad7ee;p=jalview.git

diff --git a/src/jalview/gui/Jalview2XML.java b/src/jalview/gui/Jalview2XML.java
index fdc2847..39755f9 100644
--- a/src/jalview/gui/Jalview2XML.java
+++ b/src/jalview/gui/Jalview2XML.java
@@ -1450,9 +1450,10 @@ public class Jalview2XML
         }
         else
         {
-          ArrayList<int[]> hiddenRegions = hidden.getHiddenColumnsCopy();
-          for (int[] region : hiddenRegions)
+          Iterator<int[]> hiddenRegions = hidden.iterator();
+          while (hiddenRegions.hasNext())
           {
+            int[] region = hiddenRegions.next();
             HiddenColumns hc = new HiddenColumns();
             hc.setStart(region[0]);
             hc.setEnd(region[1]);
@@ -1731,8 +1732,8 @@ public class Jalview2XML
           state.setHeight(viewFrame.getHeight());
           final String viewId = viewFrame.getViewId();
           state.setViewId(viewId);
-          state.setAlignwithAlignPanel(viewFrame.isUsedforaligment(ap));
-          state.setColourwithAlignPanel(viewFrame.isUsedforcolourby(ap));
+          state.setAlignwithAlignPanel(viewFrame.isUsedForAligment(ap));
+          state.setColourwithAlignPanel(viewFrame.isUsedForColourBy(ap));
           state.setColourByJmol(viewFrame.isColouredByViewer());
           state.setType(viewFrame.getViewerType().toString());
           pdb.addStructureState(state);