X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FAlignmentPanel.java;h=5bc46f4c998323fc1b589f0994429eff3a496072;hb=2503f4dfa319a2854d2cc8f7e07e7b979df6bff6;hp=c7ef3cedf42543f8d9cbed9235a6ebd7c97b18b6;hpb=ed2283c5f54da377a2a2fdbdb7aec75ed7041714;p=jalview.git diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java index c7ef3ce..5bc46f4 100644 --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -397,14 +397,16 @@ public class AlignmentPanel extends GAlignmentPanel implements /* * Scroll left to make start of search results visible */ - setScrollValues(start - 1, seqIndex); + // setScrollValues(start - 1, seqIndex); // plus one residue + setScrollValues(start, seqIndex); } else if ((endv = av.getEndRes()) <= end) { /* * Scroll right to make end of search results visible */ - setScrollValues(startv + 1 + end - endv, seqIndex); + // setScrollValues(startv + 1 + end - endv, seqIndex); // plus one + setScrollValues(startv + end - endv, seqIndex); } else if ((starts = av.getStartSeq()) > seqIndex) { @@ -1614,11 +1616,17 @@ public class AlignmentPanel extends GAlignmentPanel implements { try { + if (alignFrame.getSplitViewContainer() != null) + { + /* + * bring enclosing SplitFrame to front first if there is one + */ + ((SplitFrame) alignFrame.getSplitViewContainer()).setSelected(b); + } alignFrame.setSelected(b); } catch (Exception ex) { } - ; if (b) {