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;
boxY = Math.round(vpbox.y / heightRatio);
// boxWidth is the width in residues translated to pixels
- boxWidth = Math.round(vpbox.width / widthRatio);
+ boxWidth = Math.max(1, Math.round(vpbox.width / widthRatio));
// boxHeight is the height in sequences translated to pixels
- boxHeight = Math.round(vpbox.height / heightRatio);
+ boxHeight = Math.max(1, Math.round(vpbox.height / heightRatio));
}
/**