X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fviewmodel%2FOverviewDimensions.java;h=39d0098d2c0a1ca229d5717ed17c45be244aa59a;hb=801c367379086cc38bf4d3059a8e30ca9f4e78c0;hp=d7f2e61b641b1853a5dec85ffa270a83ffa11985;hpb=c526a787880d475c11bbc9124052fd5b7d120405;p=jalview.git diff --git a/src/jalview/viewmodel/OverviewDimensions.java b/src/jalview/viewmodel/OverviewDimensions.java index d7f2e61..39d0098 100644 --- a/src/jalview/viewmodel/OverviewDimensions.java +++ b/src/jalview/viewmodel/OverviewDimensions.java @@ -26,7 +26,9 @@ import jalview.datamodel.AlignmentI; import jalview.datamodel.HiddenColumns; import jalview.datamodel.HiddenSequences; +import java.awt.Dimension; import java.awt.Graphics; +import java.awt.Rectangle; public abstract class OverviewDimensions { @@ -62,6 +64,8 @@ public abstract class OverviewDimensions protected float heightRatio; + private Rectangle vpbox = new Rectangle(); + /** * Create an OverviewDimensions object * @@ -71,17 +75,23 @@ public abstract class OverviewDimensions * true if the annotation panel is to be shown, false otherwise */ public OverviewDimensions(ViewportRanges ranges, - boolean showAnnotationPanel) + boolean showAnnotationPanel, Dimension dim) { + if (!showAnnotationPanel) + { + graphHeight = 0; + } + // scale the initial size of overviewpanel to shape of alignment float initialScale = (float) ranges.getAbsoluteAlignmentWidth() / (float) ranges.getAbsoluteAlignmentHeight(); - if (!showAnnotationPanel) + if (dim != null) { - graphHeight = 0; + width = dim.width; + sequencesHeight = dim.height; + return; } - if (ranges.getAbsoluteAlignmentWidth() > ranges .getAbsoluteAlignmentHeight()) { @@ -114,6 +124,9 @@ public abstract class OverviewDimensions */ public void drawBox(Graphics g) { + // System.out.println("OD drawBox " + boxX + " " + boxY + " " + boxWidth + // + " " + boxHeight); + updateBox(); g.drawRect(boxX, boxY, boxWidth, boxHeight); g.drawRect(boxX + 1, boxY + 1, boxWidth - 2, boxHeight - 2); } @@ -138,16 +151,31 @@ public abstract class OverviewDimensions return boxHeight; } + /** + * Returns the width of the Overview in pixels + * + * @return + */ public int getWidth() { return width; } + /** + * Returns the height of the Overview in pixels + * + * @return + */ public int getHeight() { return sequencesHeight + graphHeight; } + /** + * Returns the height of the sequence alignment in the Overview in pixels + * + * @return + */ public int getSequencesHeight() { return sequencesHeight; @@ -161,23 +189,28 @@ public abstract class OverviewDimensions public float getPixelsPerCol() { resetAlignmentDims(); - return (float) width / alwidth; + return 1 / widthRatio; } public float getPixelsPerSeq() { resetAlignmentDims(); - return (float) sequencesHeight / alheight; + return 1 / heightRatio; } public void setWidth(int w) { width = w; + widthRatio = (float) alwidth / width; } public void setHeight(int h) { + // BH 2019 problem was that component.resize() can come + // after setBoxPosition(). + // Solution was to move setting of box dimensions to paint sequencesHeight = h - graphHeight; + heightRatio = (float) alheight / sequencesHeight; } /** @@ -274,17 +307,22 @@ public abstract class OverviewDimensions int vpheight) { resetAlignmentDims(); + vpbox = new Rectangle(startRes, startSeq, vpwidth, vpheight); + updateBox(); + } + public void updateBox() + { // boxX, boxY is the x,y location equivalent to startRes, startSeq - int xPos = Math.min(startRes, alwidth - vpwidth + 1); - boxX = Math.round((float) xPos * width / alwidth); - boxY = Math.round((float) startSeq * sequencesHeight / alheight); + int xPos = Math.min(vpbox.x, alwidth - vpbox.width + 1); + boxX = Math.round(xPos / widthRatio); + boxY = Math.round(vpbox.y / heightRatio); // boxWidth is the width in residues translated to pixels - boxWidth = Math.round((float) vpwidth * width / alwidth); + boxWidth = Math.max(1, Math.round(vpbox.width / widthRatio)); // boxHeight is the height in sequences translated to pixels - boxHeight = Math.round((float) vpheight * sequencesHeight / alheight); + boxHeight = Math.max(1, Math.round(vpbox.height / heightRatio)); } /**