X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FAlignmentPanel.java;h=224b9662359b356a1439eab748683eede64c58e5;hb=797df64fa2a0a30773d0f48f5494d4155e5a8be3;hp=9d19cf3015a97a5c80aadd7e580feccb03452666;hpb=9b7ee35c6b9909b030b5b04e33266acf8d5ad637;p=jalview.git diff --git a/src/jalview/appletgui/AlignmentPanel.java b/src/jalview/appletgui/AlignmentPanel.java index 9d19cf3..224b966 100644 --- a/src/jalview/appletgui/AlignmentPanel.java +++ b/src/jalview/appletgui/AlignmentPanel.java @@ -1,6 +1,6 @@ /* - * Jalview - A Sequence Alignment Editor and Viewer (Version 2.6) - * Copyright (C) 2010 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle + * Jalview - A Sequence Alignment Editor and Viewer (Version 2.7) + * Copyright (C) 2011 J Procter, AM Waterhouse, J Engelhardt, LM Lui, G Barton, M Clamp, S Searle * * This file is part of Jalview. * @@ -282,6 +282,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener, Alignme public boolean scrollToPosition(SearchResults results, boolean redrawOverview) { + // do we need to scroll the panel? if (results != null && results.getSize() > 0) { @@ -301,10 +302,11 @@ public class AlignmentPanel extends Panel implements AdjustmentListener, Alignme } if (av.applet.debug) { // DEBUG - System.out.println("DEBUG: scroll: start=" + r[0] + /*System.out.println("DEBUG: scroll: start=" + r[0] + " av.getStartRes()=" + av.getStartRes() + " end=" + r[1] + " seq.end=" + seq.getEnd() + " av.getEndRes()=" + av.getEndRes() + " hextent=" + hextent); + */ } int start = r[0]; int end = r[1]; @@ -322,7 +324,9 @@ public class AlignmentPanel extends Panel implements AdjustmentListener, Alignme } public boolean scrollTo(int ostart, int end, int seqIndex, boolean scrollToNearest, boolean redrawOverview) { - int start=-1; + int startv, endv, starts, ends, width; + + int start=-1; if (av.hasHiddenColumns) { start = av.getColumnSelection().findColumnPosition(ostart); @@ -334,10 +338,37 @@ public class AlignmentPanel extends Panel implements AdjustmentListener, Alignme // don't scroll - position isn't visible return false; } - } } - if (!av.wrapAlignment) - { + } + else + { + start = ostart; + } + if (!av.wrapAlignment) + { + /* + int spos=av.getStartRes(),sqpos=av.getStartSeq(); + if ((startv = av.getStartRes()) >= start) + { + spos=start-1; +// seqIn +// setScrollValues(start - 1, seqIndex); + } + else if ((endv = av.getEndRes()) <= end) + { +// setScrollValues(spos=startv + 1 + end - endv, seqIndex); + spos=startv + 1 + end - endv; + } + else if ((starts = av.getStartSeq()) > seqIndex) + { + setScrollValues(av.getStartRes(), seqIndex); + } + else if ((ends = av.getEndSeq()) <= seqIndex) + { + setScrollValues(av.getStartRes(), starts + seqIndex - ends + 1); + } + + /* */ if ((av.getStartRes() > end) || (av.getEndRes() < start) || ((av.getStartSeq() > seqIndex) || (av.getEndSeq() < seqIndex))) @@ -359,8 +390,9 @@ public class AlignmentPanel extends Panel implements AdjustmentListener, Alignme seqIndex = 0; } } + // System.out.println("trying to scroll to: "+start+" "+seqIndex); setScrollValues(start, seqIndex); - } + }/**/ } else { @@ -423,7 +455,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener, Alignme apvscroll.addNotify(); hscroll.addNotify(); validate(); - repaint(); + paintAlignment(true); } /** * calculate the annotation dimensions and refresh slider values accordingly. @@ -463,6 +495,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener, Alignme annotationSpaceFillerHolder.setSize(new Dimension(e.width, height)); annotationPanelHolder.setSize(new Dimension(d.width, height)); seqPanelHolder.setSize(d.width,seqandannot-height); + seqPanel.seqCanvas.setSize(d.width, seqPanel.seqCanvas.getSize().height); int s=apvscroll.getValue(); if (s>mheight-height) { @@ -562,9 +595,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener, Alignme { width = av.getColumnSelection().findColumnPosition(width); } - - av.setStartRes(x); - av.setEndRes((x + (seqPanel.seqCanvas.getSize().width / av.charWidth)) - 1); + if (x<0) { x = 0; }; hextent = seqPanel.seqCanvas.getSize().width / av.charWidth; vextent = seqPanel.seqCanvas.getSize().height / av.charHeight; @@ -581,6 +612,8 @@ public class AlignmentPanel extends Panel implements AdjustmentListener, Alignme if ((hextent + x) > width) { + System.err.println("hextent was "+hextent+" and x was "+x); + x = width - hextent; } @@ -596,6 +629,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener, Alignme if (x < 0) { + System.err.println("x was "+x); x = 0; } @@ -608,6 +642,9 @@ public class AlignmentPanel extends Panel implements AdjustmentListener, Alignme } av.setEndSeq(endSeq); + av.setStartRes(x); + av.setEndRes((x + (seqPanel.seqCanvas.getSize().width / av.charWidth)) - 1); + hscroll.setValues(x, hextent, 0, width); vscroll.setValues(y, vextent, 0, height);