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;