X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FAlignmentPanel.java;h=43fb5fac17366c74ad8740bb2dec6d27385d3d0a;hb=32ce9ddb7ce1a68add53dd81785ae428ca136a83;hp=ecdf7415bbb5ecaa34986ab1dd7cd7333965bc18;hpb=6ba4f96a2593b209c3fde5fb65556fd368d791d4;p=jalview.git diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java index ecdf741..43fb5fa 100755 --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -204,7 +204,7 @@ public class AlignmentPanel extends GAlignmentPanel { SequenceI s = al.getSequenceAt(i); - id = s.getDisplayId(av.getShowDBPrefix(), av.getShowJVSuffix()); + id = s.getDisplayId(av.getShowJVSuffix()); if (fm.stringWidth(id) > idWidth) { @@ -532,6 +532,13 @@ public class AlignmentPanel extends GAlignmentPanel { setScrollValues(av.getStartRes(), av.getStartSeq()); } + + + if( this.getVisibleRect().getBounds() == g.getClipBounds() ) + { + if (overviewPanel != null) + overviewPanel.updateOverviewImage(); + } } /** @@ -672,7 +679,7 @@ public class AlignmentPanel extends GAlignmentPanel pg.setColor(currentTextColor); String string = av.getAlignment().getSequenceAt(i).getDisplayId - (av.getShowDBPrefix(), av.getShowJVSuffix()); + ( av.getShowJVSuffix()); pg.drawString(string, 0, ( ( (i - startSeq) * av.charHeight) + av.getCharHeight()) - @@ -758,7 +765,7 @@ public class AlignmentPanel extends GAlignmentPanel for (int i = 0; i < av.alignment.getHeight(); i++) { SequenceI s = av.alignment.getSequenceAt(i); - String string = s.getDisplayId(av.getShowDBPrefix(), av.getShowJVSuffix()); + String string = s.getDisplayId( av.getShowJVSuffix()); pg.drawString(string, 0, ( (i * av.charHeight) + ypos + av.charHeight) -