Merge branch 'develop' into features/JAL-653_gffalignments
[jalview.git] / src / jalview / appletgui / AlignViewport.java
index ef17215..607dc05 100644 (file)
@@ -20,6 +20,8 @@
  */
 package jalview.appletgui;
 
+import java.awt.Font;
+
 import jalview.analysis.NJTree;
 import jalview.api.AlignViewportI;
 import jalview.api.FeatureRenderer;
@@ -39,8 +41,6 @@ import jalview.structure.StructureSelectionManager;
 import jalview.structure.VamsasSource;
 import jalview.viewmodel.AlignmentViewport;
 
-import java.awt.Font;
-
 public class AlignViewport extends AlignmentViewport implements
         SelectionSource, VamsasSource, CommandListener
 {
@@ -60,6 +60,8 @@ public class AlignViewport extends AlignmentViewport implements
 
   private FeatureRenderer featureRenderer;
 
+  private boolean includeHiddenRegion = true;
+
   public void finalize()
   {
     applet = null;
@@ -483,4 +485,14 @@ public class AlignViewport extends AlignmentViewport implements
 
   }
 
+  public boolean isIncludeHiddenRegion()
+  {
+    return includeHiddenRegion;
+  }
+
+  public void setIncludeHiddenRegion(boolean includeHiddenRegion)
+  {
+    this.includeHiddenRegion = includeHiddenRegion;
+  }
+
 }