X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FOverviewCanvas.java;fp=src%2Fjalview%2Fgui%2FOverviewCanvas.java;h=470fd643df5bd9e41031493993f656e3e901f4dc;hb=5e20c0116864d77705d951e35c41a13197791156;hp=8e6799203478411dc3ba6ff1341dfa08e3b534de;hpb=1bad3c3f74b2e204e0d7ba93a745f5ec775c8a3e;p=jalview.git diff --git a/src/jalview/gui/OverviewCanvas.java b/src/jalview/gui/OverviewCanvas.java index 8e67992..470fd64 100644 --- a/src/jalview/gui/OverviewCanvas.java +++ b/src/jalview/gui/OverviewCanvas.java @@ -182,7 +182,7 @@ public class OverviewCanvas extends JPanel @Override public void paintComponent(Graphics g) { - //super.paintComponent(g); + // super.paintComponent(g); if (restart) { @@ -207,9 +207,8 @@ public class OverviewCanvas extends JPanel { // if there is annotation, scale the alignment and annotation // separately - if (od.getGraphHeight() > 0 - && od.getSequencesHeight() > 0 // BH 2019 - ) + if (od.getGraphHeight() > 0 && od.getSequencesHeight() > 0 // BH 2019 + ) { BufferedImage topImage = lastMiniMe.getSubimage(0, 0, od.getWidth(), od.getSequencesHeight()); @@ -250,13 +249,12 @@ public class OverviewCanvas extends JPanel { g.drawImage(lastMiniMe, 0, 0, getWidth(), getHeight(), this); } - + // draw the box g.setColor(Color.red); od.drawBox(g); } - public void dispose() { dispose = true;