X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fgui%2FOverviewCanvas.java;h=470fd643df5bd9e41031493993f656e3e901f4dc;hb=747167089ecf8d6afc70d417f5a20352e029bd95;hp=8e6799203478411dc3ba6ff1341dfa08e3b534de;hpb=0b573ed90b14079f7326281f50c0c9cffdace586;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;