}
else
{
- // no row (or row that can be adjusted) was pressed. Simulate a ruler click
+ // no row (or row that can be adjusted) was pressed. Simulate a ruler
+ // click
ap.getScalePanel().mousePressed(evt);
}
}
av.sendSelection();
return true;
}
+
/**
* Construct and display a context menu at the right-click position
*
}
if (rowIndex[0] != toRowIndex[0])
{
- jalview.bin.Console.trace("Drag went to another row. needs to be clipped");
+ jalview.bin.Console
+ .trace("Drag went to another row. needs to be clipped");
}
// rectangular selection on matrix style annotation
rowIndex[1] - deltaY);
// mark rectangular region formed by drag
- jalview.bin.Console.trace("Matrix Selection from last(" + fromXc + ",["
- + lastXci.cStart + "," + lastXci.cEnd + "]) to cur(" + toXc
- + ",[" + cXci.cStart + "," + cXci.cEnd + "])");
+ jalview.bin.Console.trace("Matrix Selection from last(" + fromXc
+ + ",[" + lastXci.cStart + "," + lastXci.cEnd + "]) to cur("
+ + toXc + ",[" + cXci.cStart + "," + cXci.cEnd + "])");
int fr, to;
fr = Math.min(lastXci.cStart, lastXci.cEnd);
to = Math.max(lastXci.cStart, lastXci.cEnd);
return;
}
}
- imgWidth = (av.getRanges().getEndRes() - av.getRanges().getStartRes()
- + 1) * av.getCharWidth();
+ updateFadedImageWidth();
if (imgWidth < 1)
{
return;
g.drawImage(image, 0, 0, this);
}
+ public void updateFadedImageWidth()
+ {
+ imgWidth = (av.getRanges().getEndRes() - av.getRanges().getStartRes()
+ + 1) * av.getCharWidth();
+
+ }
+
/**
* set true to enable redraw timing debug output on stderr
*/
@Override
public int getFadedImageWidth()
{
+ updateFadedImageWidth();
return imgWidth;
}