JAL-2388 Make sure resizing still works

[jalview.git] / src / jalview / viewmodel / OverviewDimensions.java

diff --git a/src/jalview/viewmodel/OverviewDimensions.java b/src/jalview/viewmodel/OverviewDimensions.java
index 59ee5c7..7c4ba9e 100644 (file)
--- a/src/jalview/viewmodel/OverviewDimensions.java
+++ b/src/jalview/viewmodel/OverviewDimensions.java
@@ -26,6 +26,10 @@ public abstract class OverviewDimensions
   protected int scrollCol = -1;
   protected int scrollRow = -1;
 
+  protected int alwidth;
+
+  protected int alheight;
+
   public OverviewDimensions(ViewportRanges ranges,
           boolean showAnnotationPanel)
   {
@@ -104,16 +108,6 @@ public abstract class OverviewDimensions
     return boxHeight;
   }
 
-  public void setWidth(int w)
-  {
-    width = w;
-  }
-
-  public void setHeight(int h)
-  {
-    sequencesHeight = h - graphHeight;
-  }
-
   public int getWidth()
   {
     return width;
@@ -134,6 +128,26 @@ public abstract class OverviewDimensions
     return graphHeight;
   }
 
+  public float getPixelsPerCol()
+  {
+    return (float) width / alwidth;
+  }
+
+  public float getPixelsPerSeq()
+  {
+    return (float) sequencesHeight / alheight;
+  }
+
+  public void setWidth(int w)
+  {
+    width = w;
+  }
+
+  public void setHeight(int h)
+  {
+    sequencesHeight = h - graphHeight;
+  }
+
   public abstract void updateViewportFromMouse(int mousex, int mousey,
           HiddenSequences hiddenSeqs, ColumnSelection hiddenCols,
           ViewportRanges ranges);
@@ -146,8 +160,4 @@ public abstract class OverviewDimensions
 
   public abstract AlignmentRowsCollectionI getRows(
           ViewportRanges ranges, AlignmentI al);
-
-  public abstract float getPixelsPerCol();
-
-  public abstract float getPixelsPerSeq();
 }
\ No newline at end of file