X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Futil%2Fimagemaker%2FBitmapImageSizing.java;h=e170f0eb8e4066fac53185e08baa3f5df724431b;hb=d0aee5b0b2cbd0805c3dec027c6f2d2ac0148e66;hp=8bd8ec3ca30d7c0161e42cd88db03527435517ec;hpb=ed6ea3eca75d7750869faae2b10588fffd007e99;p=jalview.git

diff --git a/src/jalview/util/imagemaker/BitmapImageSizing.java b/src/jalview/util/imagemaker/BitmapImageSizing.java
index 8bd8ec3..e170f0e 100644
--- a/src/jalview/util/imagemaker/BitmapImageSizing.java
+++ b/src/jalview/util/imagemaker/BitmapImageSizing.java
@@ -4,17 +4,21 @@ import jalview.bin.Cache;
 
 public class BitmapImageSizing
 {
-  public final float scale;
+  private final float scale;
 
-  public final int width;
+  private final int width;
 
-  public final int height;
+  private final int height;
 
-  public BitmapImageSizing(float scale, int width, int height)
+  private boolean isDefault = false;
+
+  public BitmapImageSizing(float scale, int width, int height,
+          boolean isDefault)
   {
     this.scale = scale;
     this.width = width;
     this.height = height;
+    this.isDefault = isDefault;
   }
 
   public boolean isNull()
@@ -24,7 +28,7 @@ public class BitmapImageSizing
 
   public static BitmapImageSizing nullBitmapImageSizing()
   {
-    return new BitmapImageSizing(0.0f, 0, 0);
+    return new BitmapImageSizing(0.0f, 0, 0, false);
   }
 
   public static final String BITMAP_SCALE = "BITMAP_SCALE";
@@ -39,10 +43,41 @@ public class BitmapImageSizing
    */
   public static BitmapImageSizing defaultBitmapImageSizing()
   {
+    return new BitmapImageSizing(0f, 0, 0, true);
+  }
+
+  private float defaultScale()
+  {
+    return Cache.getDefault(BITMAP_SCALE, 0f);
+  }
+
+  private int defaultWidth()
+  {
+    return Cache.getDefault(BITMAP_WIDTH, 0);
+  }
+
+  private int defaultHeight()
+  {
+    return Cache.getDefault(BITMAP_HEIGHT, 0);
+  }
+
+  public float scale()
+  {
+    return isDefault() ? defaultScale() : scale;
+  }
+
+  public int width()
+  {
+    return isDefault() ? defaultWidth() : width;
+  }
 
-    return new BitmapImageSizing(Cache.getDefault(BITMAP_SCALE, 0) / 10f,
-            Cache.getDefault(BITMAP_WIDTH, 0),
-            Cache.getDefault(BITMAP_HEIGHT, 0));
+  public int height()
+  {
+    return isDefault() ? defaultHeight() : height;
+  }
 
+  public boolean isDefault()
+  {
+    return isDefault;
   }
 }