2 * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
3 * Copyright (C) $$Year-Rel$$ The Jalview Authors
5 * This file is part of Jalview.
7 * Jalview is free software: you can redistribute it and/or
8 * modify it under the terms of the GNU General Public License
9 * as published by the Free Software Foundation, either version 3
10 * of the License, or (at your option) any later version.
12 * Jalview is distributed in the hope that it will be useful, but
13 * WITHOUT ANY WARRANTY; without even the implied warranty
14 * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
15 * PURPOSE. See the GNU General Public License for more details.
17 * You should have received a copy of the GNU General Public License
18 * along with Jalview. If not, see <http://www.gnu.org/licenses/>.
19 * The Jalview Authors are detailed in the 'AUTHORS' file.
23 import jalview.analysis.AnnotationSorter;
24 import jalview.api.AlignViewportI;
25 import jalview.api.AlignmentViewPanel;
26 import jalview.bin.Cache;
27 import jalview.bin.Console;
28 import jalview.bin.Jalview;
29 import jalview.datamodel.AlignmentI;
30 import jalview.datamodel.HiddenColumns;
31 import jalview.datamodel.SearchResultsI;
32 import jalview.datamodel.SequenceFeature;
33 import jalview.datamodel.SequenceGroup;
34 import jalview.datamodel.SequenceI;
35 import jalview.gui.ImageExporter.ImageWriterI;
36 import jalview.io.HTMLOutput;
37 import jalview.jbgui.GAlignmentPanel;
38 import jalview.math.AlignmentDimension;
39 import jalview.schemes.ResidueProperties;
40 import jalview.structure.StructureSelectionManager;
41 import jalview.util.Comparison;
42 import jalview.util.ImageMaker;
43 import jalview.util.MessageManager;
44 import jalview.viewmodel.AlignmentViewport;
45 import jalview.viewmodel.ViewportListenerI;
46 import jalview.viewmodel.ViewportRanges;
48 import java.awt.BorderLayout;
49 import java.awt.Color;
50 import java.awt.Container;
51 import java.awt.Dimension;
53 import java.awt.FontMetrics;
54 import java.awt.Graphics;
55 import java.awt.Graphics2D;
56 import java.awt.event.AdjustmentEvent;
57 import java.awt.event.AdjustmentListener;
58 import java.awt.event.ComponentAdapter;
59 import java.awt.event.ComponentEvent;
60 import java.awt.print.PageFormat;
61 import java.awt.print.Printable;
62 import java.awt.print.PrinterException;
63 import java.beans.PropertyChangeEvent;
64 import java.beans.PropertyChangeListener;
66 import java.io.FileWriter;
67 import java.io.PrintWriter;
68 import java.util.List;
70 import javax.swing.SwingUtilities;
76 * @version $Revision: 1.161 $
78 @SuppressWarnings("serial")
79 public class AlignmentPanel extends GAlignmentPanel implements
80 AdjustmentListener, Printable, AlignmentViewPanel, ViewportListenerI
83 * spare space in pixels between sequence id and alignment panel
85 private static final int ID_WIDTH_PADDING = 4;
87 public AlignViewport av;
89 OverviewPanel overviewPanel;
91 private SeqPanel seqPanel;
93 private IdPanel idPanel;
95 IdwidthAdjuster idwidthAdjuster;
97 public AlignFrame alignFrame;
99 private ScalePanel scalePanel;
101 private AnnotationPanel annotationPanel;
103 private AnnotationLabels alabels;
105 private int hextent = 0;
107 private int vextent = 0;
110 * Flag set while scrolling to follow complementary cDNA/protein scroll. When
111 * false, suppresses invoking the same method recursively.
113 private boolean scrollComplementaryPanel = true;
115 private PropertyChangeListener propertyChangeListener;
117 private CalculationChooser calculationDialog;
120 * Creates a new AlignmentPanel object.
125 public AlignmentPanel(AlignFrame af, final AlignViewport av)
127 setName("AligmentPanel");
128 // setBackground(Color.white); // BH 2019
131 setSeqPanel(new SeqPanel(av, this));
132 setIdPanel(new IdPanel(av, this));
134 setScalePanel(new ScalePanel(av, this));
136 idPanelHolder.add(getIdPanel(), BorderLayout.CENTER);
137 idwidthAdjuster = new IdwidthAdjuster(this);
138 idSpaceFillerPanel1.add(idwidthAdjuster, BorderLayout.CENTER);
140 setAnnotationPanel(new AnnotationPanel(this));
141 setAlabels(new AnnotationLabels(this));
143 annotationScroller.setViewportView(getAnnotationPanel());
144 annotationSpaceFillerHolder.add(getAlabels(), BorderLayout.CENTER);
146 scalePanelHolder.add(getScalePanel(), BorderLayout.CENTER);
147 seqPanelHolder.add(getSeqPanel(), BorderLayout.CENTER);
149 setScrollValues(0, 0);
151 hscroll.addAdjustmentListener(this);
152 vscroll.addAdjustmentListener(this);
154 addComponentListener(new ComponentAdapter()
157 public void componentResized(ComponentEvent evt)
159 // reset the viewport ranges when the alignment panel is resized
160 // in particular, this initialises the end residue value when Jalview
162 ViewportRanges ranges = av.getRanges();
163 if (av.getWrapAlignment())
165 int widthInRes = getSeqPanel().seqCanvas.getWrappedCanvasWidth(
166 getSeqPanel().seqCanvas.getWidth());
167 ranges.setViewportWidth(widthInRes);
171 int widthInRes = getSeqPanel().seqCanvas.getWidth()
173 int heightInSeq = getSeqPanel().seqCanvas.getHeight()
174 / av.getCharHeight();
176 ranges.setViewportWidth(widthInRes);
177 ranges.setViewportHeight(heightInSeq);
184 final AlignmentPanel ap = this;
185 propertyChangeListener = new PropertyChangeListener()
188 public void propertyChange(PropertyChangeEvent evt)
190 switch (evt.getPropertyName()) {
191 case AlignmentViewport.PROPERTY_SEQUENCE:
192 updateScrollBarsFromRanges();
193 if (annotationPanel != null)
194 annotationPanel.paintImmediately(0, 0, getWidth(), getHeight());
196 case AlignmentViewport.PROPERTY_ALIGNMENT:
197 updateScrollBarsFromRanges();
198 PaintRefresher.Refresh(ap, av.getSequenceSetId(), true, true);
204 av.addPropertyChangeListener(propertyChangeListener);
206 av.getRanges().addPropertyChangeListener(this);
208 adjustAnnotationHeight();
213 public AlignViewportI getAlignViewport()
218 public void alignmentChanged()
220 av.alignmentChanged(this);
222 if (getCalculationDialog() != null)
224 getCalculationDialog().validateCalcTypes();
227 alignFrame.updateEditMenuBar();
229 // no idea if we need to update structure
230 paintAlignment(true, true);
237 public void fontChanged()
239 // set idCanvas bufferedImage to null
240 // to prevent drawing old image
241 FontMetrics fm = getFontMetrics(av.getFont());
243 scalePanelHolder.setPreferredSize(
244 new Dimension(10, av.getCharHeight() + fm.getDescent()));
245 idSpaceFillerPanel1.setPreferredSize(
246 new Dimension(10, av.getCharHeight() + fm.getDescent()));
247 idwidthAdjuster.invalidate();
248 scalePanelHolder.invalidate();
249 // BH 2018 getIdPanel().getIdCanvas().gg = null;
250 getSeqPanel().seqCanvas.img = null;
251 getAnnotationPanel().adjustPanelHeight();
253 Dimension d = calculateIdWidth();
254 getIdPanel().getIdCanvas().setPreferredSize(d);
255 hscrollFillerPanel.setPreferredSize(d);
261 * Calculates the width of the alignment labels based on the displayed names
262 * and any bounds on label width set in preferences. The calculated width is
263 * also set as a property of the viewport.
265 * @return Dimension giving the maximum width of the alignment label panel
266 * that should be used.
268 public Dimension calculateIdWidth()
270 int oldWidth = av.getIdWidth();
272 // calculate sensible default width when no preference is available
274 if (av.getIdWidth() < 0)
276 int maxWidth = getMaxWidth();
277 d = calculateIdWidth(maxWidth);
278 av.setIdWidth(d.width);
283 d.width = av.getIdWidth();
288 * fudge: if desired width has changed, update layout
289 * (see also paintComponent - updates layout on a repaint)
291 if (d.width != oldWidth)
293 idPanelHolder.setPreferredSize(d);
299 public int getMaxWidth()
301 int afwidth = (alignFrame != null ? alignFrame.getWidth() : 300);
302 int idWidth = Math.min(afwidth - 200, 2 * afwidth / 3);
303 return Math.max(IdwidthAdjuster.MIN_ID_WIDTH, idWidth);
307 * Calculate the width of the alignment labels based on the displayed names
308 * and any bounds on label width set in preferences.
311 * -1 or maximum width allowed for IdWidth
312 * @return Dimension giving the maximum width of the alignment label panel
313 * that should be used.
315 public Dimension calculateIdWidth(int maxwidth)
317 Container c = this;// new Container();
319 FontMetrics fm = c.getFontMetrics(
320 new Font(av.font.getName(), Font.ITALIC, av.font.getSize()));
322 AlignmentI al = av.getAlignment();
326 boolean withSuffix = av.getShowJVSuffix();
327 while ((i < al.getHeight()) && (al.getSequenceAt(i) != null))
329 SequenceI s = al.getSequenceAt(i);
330 String id = s.getDisplayId(withSuffix);
331 int stringWidth = fm.stringWidth(id);
332 idWidth = Math.max(idWidth, stringWidth);
336 // Also check annotation label widths
339 if (al.getAlignmentAnnotation() != null)
341 fm = c.getFontMetrics(getAlabels().getFont());
343 while (i < al.getAlignmentAnnotation().length)
345 String label = al.getAlignmentAnnotation()[i].label;
346 int stringWidth = fm.stringWidth(label);
347 idWidth = Math.max(idWidth, stringWidth);
352 int w = maxwidth < 0 ? idWidth : Math.min(maxwidth, idWidth);
353 w += ID_WIDTH_PADDING;
355 return new Dimension(w, 12);
359 * Highlight the given results on the alignment
362 public void highlightSearchResults(SearchResultsI results)
364 boolean scrolled = scrollToPosition(results, 0, false);
366 boolean fastPaint = !(scrolled && av.getWrapAlignment());
368 getSeqPanel().seqCanvas.highlightSearchResults(results, fastPaint);
372 * Scroll the view to show the position of the highlighted region in results
375 * @param searchResults
378 public boolean scrollToPosition(SearchResultsI searchResults)
380 return scrollToPosition(searchResults, 0, false);
384 * Scrolls the view (if necessary) to show the position of the first
385 * highlighted region in results (if any). Answers true if the view was
386 * scrolled, or false if no matched region was found, or it is already
390 * @param verticalOffset
391 * if greater than zero, allows scrolling to a position below the
392 * first displayed sequence
394 * if true, try to centre the search results horizontally in the view
397 protected boolean scrollToPosition(SearchResultsI results,
398 int verticalOffset, boolean centre)
400 int startv, endv, starts, ends;
401 ViewportRanges ranges = av.getRanges();
403 if (results == null || results.isEmpty() || av == null
404 || av.getAlignment() == null)
408 int seqIndex = av.getAlignment().findIndex(results);
413 SequenceI seq = av.getAlignment().getSequenceAt(seqIndex);
415 int[] r = results.getResults(seq, 0, av.getAlignment().getWidth());
424 * To centre results, scroll to positions half the visible width
425 * left/right of the start/end positions
429 int offset = (ranges.getEndRes() - ranges.getStartRes() + 1) / 2 - 1;
430 start = Math.max(start - offset, 0);
431 end = end + offset - 1;
437 if (end == seq.getEnd())
442 if (av.hasHiddenColumns())
444 HiddenColumns hidden = av.getAlignment().getHiddenColumns();
445 start = hidden.absoluteToVisibleColumn(start);
446 end = hidden.absoluteToVisibleColumn(end);
449 if (!hidden.isVisible(r[0]))
451 // don't scroll - position isn't visible
458 * allow for offset of target sequence (actually scroll to one above it)
460 seqIndex = Math.max(0, seqIndex - verticalOffset);
461 boolean scrollNeeded = true;
463 if (!av.getWrapAlignment())
465 if ((startv = ranges.getStartRes()) >= start)
468 * Scroll left to make start of search results visible
470 setScrollValues(start, seqIndex);
472 else if ((endv = ranges.getEndRes()) <= end)
475 * Scroll right to make end of search results visible
477 setScrollValues(startv + end - endv, seqIndex);
479 else if ((starts = ranges.getStartSeq()) > seqIndex)
482 * Scroll up to make start of search results visible
484 setScrollValues(ranges.getStartRes(), seqIndex);
486 else if ((ends = ranges.getEndSeq()) <= seqIndex)
489 * Scroll down to make end of search results visible
491 setScrollValues(ranges.getStartRes(), starts + seqIndex - ends + 1);
494 * Else results are already visible - no need to scroll
496 scrollNeeded = false;
500 scrollNeeded = ranges.scrollToWrappedVisible(start);
503 paintAlignment(false, false);
511 * @return DOCUMENT ME!
513 public OverviewPanel getOverviewPanel()
515 return overviewPanel;
524 public void setOverviewPanel(OverviewPanel op)
532 * Hide or show annotation panel
535 public void setAnnotationVisible(boolean b)
537 if (!av.getWrapAlignment())
539 annotationSpaceFillerHolder.setVisible(b);
540 annotationScroller.setVisible(b);
546 * automatically adjust annotation panel height for new annotation whilst
547 * ensuring the alignment is still visible.
550 public void adjustAnnotationHeight()
552 // TODO: display vertical annotation scrollbar if necessary
553 // this is called after loading new annotation onto alignment
554 if (alignFrame.getHeight() == 0)
556 System.out.println("NEEDS FIXING");
558 validateAnnotationDimensions(true);
560 // TODO: many places call this method and also paintAlignment with various
561 // different settings. this means multiple redraws are triggered...
562 paintAlignment(true, av.needToUpdateStructureViews());
566 * calculate the annotation dimensions and refresh slider values accordingly.
567 * need to do repaints/notifys afterwards.
569 protected void validateAnnotationDimensions(boolean adjustPanelHeight)
571 // BH 2018.04.18 comment: addNotify() is not appropriate here. We
572 // are not changing ancestors, and keyboard action listeners do
573 // not need to be reset, and most importantly, we can't be sure we are actually
574 // connected to resources.
576 // addNotify() is a very expensive operation,
577 // requiring a full re-layout of all parents and children.
579 // Note in JComponent:
581 // This method is called by the toolkit internally and should
582 // not be called directly by programs.
584 // I note that addNotify() is called in several areas of Jalview.
586 int annotationHeight = getAnnotationPanel().adjustPanelHeight();
587 annotationHeight = getAnnotationPanel()
588 .adjustForAlignFrame(adjustPanelHeight, annotationHeight);
592 annotationScroller.setPreferredSize(
593 new Dimension(annotationScroller.getWidth(), annotationHeight));
595 Dimension e = idPanel.getSize();
596 alabels.setSize(new Dimension(e.width, annotationHeight));
599 annotationSpaceFillerHolder.setPreferredSize(new Dimension(
600 annotationSpaceFillerHolder.getWidth(), annotationHeight));
601 annotationScroller.validate();
602 annotationScroller.addNotify();
606 * update alignment layout for viewport settings
608 public void updateLayout()
610 ViewportRanges ranges = av.getRanges();
612 setAnnotationVisible(av.isShowAnnotation());
613 boolean wrap = av.getWrapAlignment();
614 ranges.setStartSeq(0);
615 scalePanelHolder.setVisible(!wrap);
616 hscroll.setVisible(!wrap);
617 idwidthAdjuster.setVisible(!wrap);
621 annotationScroller.setVisible(false);
622 annotationSpaceFillerHolder.setVisible(false);
624 else if (av.isShowAnnotation())
626 annotationScroller.setVisible(true);
627 annotationSpaceFillerHolder.setVisible(true);
630 idSpaceFillerPanel1.setVisible(!wrap);
633 * defer dimension calculations if panel not yet added to a Window
636 if (getTopLevelAncestor() == null)
642 if (!wrap && av.isShowAnnotation())
644 validateAnnotationDimensions(false);
647 int canvasWidth = getSeqPanel().seqCanvas.getWidth();
649 { // may not yet be laid out
652 int widthInRes = getSeqPanel().seqCanvas
653 .getWrappedCanvasWidth(canvasWidth);
654 ranges.setViewportWidth(widthInRes);
658 int widthInRes = (canvasWidth / av.getCharWidth());
659 int heightInSeq = (getSeqPanel().seqCanvas.getHeight()
660 / av.getCharHeight());
662 ranges.setViewportWidth(widthInRes);
663 ranges.setViewportHeight(heightInSeq);
667 // System.out.println("ap dim = " + getSize());
668 // these values will go negative if getSize() returns (0,0):
669 // System.out.println("seqpan dim = " + getSeqPanel().getSize());
670 // System.out.println("seqcan dim = " + getSeqPanel().seqCanvas.getSize());
676 * Adjust row/column scrollers to show a visible position in the alignment.
679 * visible column to scroll to
681 * visible row to scroll to
684 public void setScrollValues(int x, int y)
687 if (av == null || av.getAlignment() == null)
692 if (av.getWrapAlignment())
694 setScrollingForWrappedPanel(x);
698 int width = av.getAlignment().getVisibleWidth();
699 int height = av.getAlignment().getHeight();
702 hextent = Math.min(getSeqPanel().seqCanvas.getWidth() / av.getCharWidth(), width);
703 vextent = Math.min(getSeqPanel().seqCanvas.getHeight() / av.getCharHeight(), height);
705 x = Math.max(0, Math.min(x, width - hextent));
706 y = Math.max(0, Math.min(y, height - vextent));
709 updateScrollBars(x, y, width, height);
713 private void updateScrollBars(int x, int y, int width, int height)
715 hscroll.setValues(x, hextent, 0, width);
716 vscroll.setValues(y, vextent, 0, height);
719 * Respond to adjustment event when horizontal or vertical scrollbar is
723 * adjustment event encoding whether hscroll or vscroll changed
726 public void adjustmentValueChanged(AdjustmentEvent evt)
728 if (av.getWrapAlignment())
730 adjustScrollingWrapped(evt);
735 if (evt.getSource() == hscroll)
737 if (!updateRanges(hscroll.getValue(), Integer.MIN_VALUE))
740 else if (evt.getSource() == vscroll)
742 if (!updateRanges(Integer.MIN_VALUE, vscroll.getValue()))
748 private boolean updateRanges(int x, int y)
750 ViewportRanges ranges = av.getRanges();
751 boolean isChanged = false;
752 if (x != Integer.MIN_VALUE)
754 int oldX = ranges.getStartRes();
755 int oldwidth = ranges.getViewportWidth();
756 int width = getSeqPanel().seqCanvas.getWidth() / av.getCharWidth();
758 // if we're scrolling to the position we're already at, stop
759 // this prevents infinite recursion of events when the scroll/viewport
760 // ranges values are the same
761 if (width > 0 && (x != oldX || width != oldwidth))
763 ranges.setViewportStartAndWidth(x, width);
767 if (y != Integer.MIN_VALUE)
769 int oldY = ranges.getStartSeq();
770 int oldheight = ranges.getViewportHeight();
771 int height = getSeqPanel().seqCanvas.getHeight() / av.getCharHeight();
773 // if we're scrolling to the position we're already at, stop
774 // this prevents infinite recursion of events when the scroll/viewport
775 // ranges values are the same
776 if (height > 0 && (y != oldY || height != oldheight))
778 ranges.setViewportStartAndHeight(y, height);
786 * Responds to a scroll change by setting the start position of the viewport.
791 protected void adjustScrollingWrapped(AdjustmentEvent evt)
793 if (evt.getSource() == hscroll)
795 return; // no horizontal scroll when wrapped
797 final ViewportRanges ranges = av.getRanges();
799 if (evt.getSource() == vscroll)
801 int newY = vscroll.getValue();
804 * if we're scrolling to the position we're already at, stop
805 * this prevents infinite recursion of events when the scroll/viewport
806 * ranges values are the same
808 int oldX = ranges.getStartRes();
809 int oldY = ranges.getWrappedScrollPosition(oldX);
817 * limit page up/down to one width's worth of positions
819 int rowSize = ranges.getViewportWidth();
820 int newX = newY > oldY ? oldX + rowSize : oldX - rowSize;
821 ranges.setViewportStartAndWidth(Math.max(0, newX), rowSize);
826 // This is only called if file loaded is a jar file that
827 // was wrapped when saved and user has wrap alignment true
828 // as preference setting
829 SwingUtilities.invokeLater(new Runnable()
834 // When updating scrolling to use ViewportChange events, this code
835 // could not be validated and it is not clear if it is now being
836 // called. Log warning here in case it is called and unforeseen
839 "Unexpected path through code: Wrapped jar file opened with wrap alignment set in preferences");
841 // scroll to start of panel
842 ranges.setStartRes(0);
843 ranges.setStartSeq(0);
851 * @see jalview.api.AlignmentViewPanel#paintAlignment(boolean)
854 public void paintAlignment(boolean updateOverview,
855 boolean updateStructures)
857 final AnnotationSorter sorter = new AnnotationSorter(getAlignment(),
858 av.isShowAutocalculatedAbove());
859 sorter.sort(getAlignment().getAlignmentAnnotation(),
860 av.getSortAnnotationsBy());
862 if (updateStructures)
864 av.getStructureSelectionManager().sequenceColoursChanged(this);
869 alignFrame.repaint();
870 if (overviewPanel != null)
872 overviewPanel.updateOverviewImage();
875 invalidate(); // needed so that the id width adjuster works correctly
881 public void paintComponent(Graphics g)
884 invalidate(); // needed so that the id width adjuster works correctly
886 Dimension d = getIdPanel().getIdCanvas().getPreferredSize();
887 idPanelHolder.setPreferredSize(d);
888 hscrollFillerPanel.setPreferredSize(new Dimension(d.width, 12));
890 validate(); // needed so that the id width adjuster works correctly
893 * set scroll bar positions - tried to remove but necessary for split panel to resize correctly
894 * though I still think this call should be elsewhere.
896 ViewportRanges ranges = av.getRanges();
897 // setScrollValues(ranges.getStartRes(), ranges.getStartSeq());
898 super.paintComponent(g);
902 * Set vertical scroll bar position, and number of increments, for wrapped
905 * @param topLeftColumn
906 * the column position at top left (0..)
908 private void setScrollingForWrappedPanel(int topLeftColumn)
910 ViewportRanges ranges = av.getRanges();
911 int scrollPosition = ranges.getWrappedScrollPosition(topLeftColumn);
912 int maxScroll = ranges.getWrappedMaxScroll(topLeftColumn);
915 * a scrollbar's value can be set to at most (maximum-extent)
916 * so we add extent (1) to the maxScroll value
918 vscroll.setUnitIncrement(1);
919 vscroll.setValues(scrollPosition, 1, 0, maxScroll + 1);
932 * @return DOCUMENT ME!
934 * @throws PrinterException
938 public int print(Graphics pg, PageFormat pf, int pi)
939 throws PrinterException
941 pg.translate((int) pf.getImageableX(), (int) pf.getImageableY());
943 int pwidth = (int) pf.getImageableWidth();
944 int pheight = (int) pf.getImageableHeight();
946 if (av.getWrapAlignment())
948 return printWrappedAlignment(pwidth, pheight, pi, pg);
952 return printUnwrapped(pwidth, pheight, pi, pg, pg);
957 * Draws the alignment image, including sequence ids, sequences, and
958 * annotation labels and annotations if shown, on either one or two Graphics
968 * the graphics context for sequence ids and annotation labels
969 * @param alignmentGraphics
970 * the graphics context for sequences and annotations (may or may not
971 * be the same context as idGraphics)
973 * @throws PrinterException
975 public int printUnwrapped(int pageWidth, int pageHeight, int pageIndex,
976 Graphics idGraphics, Graphics alignmentGraphics)
977 throws PrinterException
979 final int idWidth = getVisibleIdWidth(false);
982 * Get the horizontal offset to where we draw the sequences.
983 * This is idWidth if using a single Graphics context, else zero.
985 final int alignmentGraphicsOffset = idGraphics != alignmentGraphics ? 0
988 FontMetrics fm = getFontMetrics(av.getFont());
989 final int charHeight = av.getCharHeight();
990 final int scaleHeight = charHeight + fm.getDescent();
992 idGraphics.setColor(Color.white);
993 idGraphics.fillRect(0, 0, pageWidth, pageHeight);
994 idGraphics.setFont(av.getFont());
997 * How many sequences and residues can we fit on a printable page?
999 final int totalRes = (pageWidth - idWidth) / av.getCharWidth();
1001 final int totalSeq = (pageHeight - scaleHeight) / charHeight - 1;
1003 final int alignmentWidth = av.getAlignment().getVisibleWidth();
1004 int pagesWide = (alignmentWidth / totalRes) + 1;
1006 final int startRes = (pageIndex % pagesWide) * totalRes;
1007 final int endRes = Math.min(startRes + totalRes - 1,
1008 alignmentWidth - 1);
1010 final int startSeq = (pageIndex / pagesWide) * totalSeq;
1011 final int alignmentHeight = av.getAlignment().getHeight();
1012 final int endSeq = Math.min(startSeq + totalSeq, alignmentHeight);
1014 int pagesHigh = ((alignmentHeight / totalSeq) + 1) * pageHeight;
1016 if (av.isShowAnnotation())
1018 pagesHigh += getAnnotationPanel().adjustPanelHeight() + 3;
1021 pagesHigh /= pageHeight;
1023 if (pageIndex >= (pagesWide * pagesHigh))
1025 return Printable.NO_SUCH_PAGE;
1027 final int alignmentDrawnHeight = (endSeq - startSeq) * charHeight + 3;
1030 * draw the Scale at horizontal offset, then reset to top left (0, 0)
1032 alignmentGraphics.translate(alignmentGraphicsOffset, 0);
1033 getScalePanel().drawScale(alignmentGraphics, startRes, endRes,
1034 pageWidth - idWidth, scaleHeight);
1035 alignmentGraphics.translate(-alignmentGraphicsOffset, 0);
1038 * Draw the sequence ids, offset for scale height,
1039 * then reset to top left (0, 0)
1041 idGraphics.translate(0, scaleHeight);
1042 IdCanvas idCanvas = getIdPanel().getIdCanvas();
1043 List<SequenceI> selection = av.getSelectionGroup() == null ? null
1044 : av.getSelectionGroup().getSequences(null);
1045 idCanvas.drawIds((Graphics2D) idGraphics, av, startSeq, endSeq - 1,
1048 idGraphics.setFont(av.getFont());
1049 idGraphics.translate(0, -scaleHeight);
1052 * draw the sequences, offset for scale height, and id width (if using a
1053 * single graphics context), then reset to (0, scale height)
1055 alignmentGraphics.translate(alignmentGraphicsOffset, scaleHeight);
1056 getSeqPanel().seqCanvas.drawPanelForPrinting(alignmentGraphics,
1057 startRes, endRes, startSeq, endSeq - 1);
1058 alignmentGraphics.translate(-alignmentGraphicsOffset, 0);
1060 if (av.isShowAnnotation() && (endSeq == alignmentHeight))
1063 * draw annotation labels; drawComponent() translates by
1064 * getScrollOffset(), so compensate for that first;
1065 * then reset to (0, scale height)
1067 int offset = getAlabels().getScrollOffset();
1068 idGraphics.translate(0, -offset);
1069 idGraphics.translate(0, alignmentDrawnHeight);
1070 getAlabels().drawComponent(idGraphics, idWidth);
1071 idGraphics.translate(0, -alignmentDrawnHeight);
1074 * draw the annotations starting at
1075 * (idOffset, alignmentHeight) from (0, scaleHeight)
1077 alignmentGraphics.translate(alignmentGraphicsOffset,
1078 alignmentDrawnHeight);
1079 getAnnotationPanel().renderer.drawComponent(getAnnotationPanel(), av,
1080 alignmentGraphics, -1, startRes, endRes + 1);
1083 return Printable.PAGE_EXISTS;
1087 * Prints one page of an alignment in wrapped mode. Returns
1088 * Printable.PAGE_EXISTS (0) if a page was drawn, or Printable.NO_SUCH_PAGE if
1089 * no page could be drawn (page number out of range).
1099 * @throws PrinterException
1101 public int printWrappedAlignment(int pageWidth, int pageHeight,
1102 int pageNumber, Graphics g) throws PrinterException
1104 getSeqPanel().seqCanvas.calculateWrappedGeometry();
1105 int annotationHeight = 0;
1106 if (av.isShowAnnotation())
1108 annotationHeight = getAnnotationPanel().adjustPanelHeight();
1111 int hgap = av.getCharHeight();
1112 if (av.getScaleAboveWrapped())
1114 hgap += av.getCharHeight();
1117 int cHeight = av.getAlignment().getHeight() * av.getCharHeight() + hgap
1120 int idWidth = getVisibleIdWidth(false);
1122 int maxwidth = av.getAlignment().getVisibleWidth();
1124 int resWidth = getSeqPanel().seqCanvas
1125 .getWrappedCanvasWidth(pageWidth - idWidth);
1126 av.getRanges().setViewportStartAndWidth(0, resWidth);
1128 int totalHeight = cHeight * (maxwidth / resWidth + 1);
1130 g.setColor(Color.white);
1131 g.fillRect(0, 0, pageWidth, pageHeight);
1132 g.setFont(av.getFont());
1133 g.setColor(Color.black);
1136 * method: print the whole wrapped alignment, but with a clip region that
1137 * is restricted to the requested page; this supports selective print of
1138 * single pages or ranges, (at the cost of repeated processing in the
1139 * 'normal' case, when all pages are printed)
1141 g.translate(0, -pageNumber * pageHeight);
1143 g.setClip(0, pageNumber * pageHeight, pageWidth, pageHeight);
1146 * draw sequence ids and annotation labels (if shown)
1148 IdCanvas idCanvas = getIdPanel().getIdCanvas();
1149 idCanvas.drawIdsWrapped((Graphics2D) g, av, 0, totalHeight);
1151 g.translate(idWidth, 0);
1153 getSeqPanel().seqCanvas.drawWrappedPanelForPrinting(g,
1154 pageWidth - idWidth, totalHeight, 0);
1156 if ((pageNumber * pageHeight) < totalHeight)
1158 return Printable.PAGE_EXISTS;
1162 return Printable.NO_SUCH_PAGE;
1167 * get current sequence ID panel width, or nominal value if panel were to be
1168 * displayed using default settings
1172 public int getVisibleIdWidth()
1174 return getVisibleIdWidth(true);
1178 * get current sequence ID panel width, or nominal value if panel were to be
1179 * displayed using default settings
1182 * indicate if the Id width for onscreen or offscreen display should
1186 protected int getVisibleIdWidth(boolean onscreen)
1188 // see if rendering offscreen - check preferences and calc width accordingly
1189 if (!onscreen && Cache.getDefault("FIGURE_AUTOIDWIDTH", false))
1191 return calculateIdWidth(-1).width;
1193 Integer idwidth = onscreen ? null
1194 : Cache.getIntegerProperty("FIGURE_FIXEDIDWIDTH");
1195 if (idwidth != null)
1197 return idwidth.intValue() + ID_WIDTH_PADDING;
1200 int w = getIdPanel().getWidth();
1201 return (w > 0 ? w : calculateIdWidth().width);
1205 * Builds an image of the alignment of the specified type (EPS/PNG/SVG) and
1206 * writes it to the specified file
1211 void makeAlignmentImage(ImageMaker.TYPE type, File file)
1213 final int borderBottomOffset = 5;
1215 AlignmentDimension aDimension = getAlignmentDimension();
1216 // todo use a lambda function in place of callback here?
1217 ImageWriterI writer = new ImageWriterI()
1220 public void exportImage(Graphics graphics) throws Exception
1222 if (av.getWrapAlignment())
1224 printWrappedAlignment(aDimension.getWidth(),
1225 aDimension.getHeight() + borderBottomOffset, 0, graphics);
1229 printUnwrapped(aDimension.getWidth(), aDimension.getHeight(), 0,
1230 graphics, graphics);
1235 String fileTitle = alignFrame.getTitle();
1236 ImageExporter exporter = new ImageExporter(writer, alignFrame, type,
1238 int imageWidth = aDimension.getWidth();
1239 int imageHeight = aDimension.getHeight() + borderBottomOffset;
1240 String of = MessageManager.getString("label.alignment");
1241 exporter.doExport(file, this, imageWidth, imageHeight, of);
1245 * Calculates and returns a suitable width and height (in pixels) for an
1250 public AlignmentDimension getAlignmentDimension()
1252 int maxwidth = av.getAlignment().getVisibleWidth();
1254 int height = ((av.getAlignment().getHeight() + 1) * av.getCharHeight())
1255 + getScalePanel().getHeight();
1256 int width = getVisibleIdWidth(false) + (maxwidth * av.getCharWidth());
1258 if (av.getWrapAlignment())
1260 height = getWrappedHeight();
1261 if (Jalview.isHeadlessMode())
1263 // need to obtain default alignment width and then add in any
1264 // additional allowance for id margin
1265 // this duplicates the calculation in getWrappedHeight but adjusts for
1267 width = alignFrame.getWidth() - vscroll.getPreferredSize().width
1268 - alignFrame.getInsets().left - alignFrame.getInsets().right
1269 - getVisibleIdWidth() + getVisibleIdWidth(false);
1273 width = getSeqPanel().getWidth() + getVisibleIdWidth(false);
1277 else if (av.isShowAnnotation())
1279 height += getAnnotationPanel().adjustPanelHeight() + 3;
1281 return new AlignmentDimension(width, height);
1285 public void makePNGImageMap(File imgMapFile, String imageName)
1287 // /////ONLY WORKS WITH NON WRAPPED ALIGNMENTS
1288 // ////////////////////////////////////////////
1289 int idWidth = getVisibleIdWidth(false);
1290 FontMetrics fm = getFontMetrics(av.getFont());
1291 int scaleHeight = av.getCharHeight() + fm.getDescent();
1294 // ////////////////////////////////
1295 if (imgMapFile != null)
1299 int sSize = av.getAlignment().getHeight();
1300 int alwidth = av.getAlignment().getWidth();
1301 PrintWriter out = new PrintWriter(new FileWriter(imgMapFile));
1302 out.println(HTMLOutput.getImageMapHTML());
1303 out.println("<img src=\"" + imageName
1304 + "\" border=\"0\" usemap=\"#Map\" >"
1305 + "<map name=\"Map\">");
1307 for (int s = 0; s < sSize; s++)
1309 int sy = s * av.getCharHeight() + scaleHeight;
1311 SequenceI seq = av.getAlignment().getSequenceAt(s);
1312 SequenceGroup[] groups = av.getAlignment().findAllGroups(seq);
1313 for (int column = 0; column < alwidth; column++)
1315 StringBuilder text = new StringBuilder(512);
1316 String triplet = null;
1317 if (av.getAlignment().isNucleotide())
1319 triplet = ResidueProperties.nucleotideName
1320 .get(seq.getCharAt(column) + "");
1324 triplet = ResidueProperties.aa2Triplet
1325 .get(seq.getCharAt(column) + "");
1328 if (triplet == null)
1333 int seqPos = seq.findPosition(column);
1334 int gSize = groups.length;
1335 for (int g = 0; g < gSize; g++)
1337 if (text.length() < 1)
1339 text.append("<area shape=\"rect\" coords=\"")
1340 .append((idWidth + column * av.getCharWidth()))
1341 .append(",").append(sy).append(",")
1343 + (column + 1) * av.getCharWidth()))
1344 .append(",").append((av.getCharHeight() + sy))
1345 .append("\"").append(" onMouseOver=\"toolTip('")
1346 .append(seqPos).append(" ").append(triplet);
1349 if (groups[g].getStartRes() < column
1350 && groups[g].getEndRes() > column)
1352 text.append("<br><em>").append(groups[g].getName())
1357 if (text.length() < 1)
1359 text.append("<area shape=\"rect\" coords=\"")
1360 .append((idWidth + column * av.getCharWidth()))
1361 .append(",").append(sy).append(",")
1362 .append((idWidth + (column + 1) * av.getCharWidth()))
1363 .append(",").append((av.getCharHeight() + sy))
1364 .append("\"").append(" onMouseOver=\"toolTip('")
1365 .append(seqPos).append(" ").append(triplet);
1367 if (!Comparison.isGap(seq.getCharAt(column)))
1369 List<SequenceFeature> features = seq.findFeatures(column,
1371 for (SequenceFeature sf : features)
1373 if (sf.isContactFeature())
1375 text.append("<br>").append(sf.getType()).append(" ")
1376 .append(sf.getBegin()).append(":")
1377 .append(sf.getEnd());
1381 text.append("<br>");
1382 text.append(sf.getType());
1383 String description = sf.getDescription();
1384 if (description != null
1385 && !sf.getType().equals(description))
1387 description = description.replace("\"", """);
1388 text.append(" ").append(description);
1391 String status = sf.getStatus();
1392 if (status != null && !"".equals(status))
1394 text.append(" (").append(status).append(")");
1397 if (text.length() > 1)
1399 text.append("')\"; onMouseOut=\"toolTip()\"; href=\"#\">");
1400 out.println(text.toString());
1405 out.println("</map></body></html>");
1408 } catch (Exception ex)
1410 ex.printStackTrace();
1412 } // /////////END OF IMAGE MAP
1417 * Answers the height of the entire alignment in pixels, assuming it is in
1422 int getWrappedHeight()
1424 int seqPanelWidth = getSeqPanel().seqCanvas.getWidth();
1426 if (System.getProperty("java.awt.headless") != null
1427 && System.getProperty("java.awt.headless").equals("true"))
1429 seqPanelWidth = alignFrame.getWidth() - getVisibleIdWidth()
1430 - vscroll.getPreferredSize().width
1431 - alignFrame.getInsets().left - alignFrame.getInsets().right;
1434 int chunkWidth = getSeqPanel().seqCanvas
1435 .getWrappedCanvasWidth(seqPanelWidth);
1437 int hgap = av.getCharHeight();
1438 if (av.getScaleAboveWrapped())
1440 hgap += av.getCharHeight();
1443 int annotationHeight = 0;
1444 if (av.isShowAnnotation())
1446 hgap += SeqCanvas.SEQS_ANNOTATION_GAP;
1447 annotationHeight = getAnnotationPanel().adjustPanelHeight();
1450 int cHeight = av.getAlignment().getHeight() * av.getCharHeight() + hgap
1453 int maxwidth = av.getAlignment().getWidth();
1454 if (av.hasHiddenColumns())
1456 maxwidth = av.getAlignment().getHiddenColumns()
1457 .absoluteToVisibleColumn(maxwidth) - 1;
1460 int height = ((maxwidth / chunkWidth) + 1) * cHeight;
1466 * close the panel - deregisters all listeners and nulls any references to
1469 public void closePanel()
1471 PaintRefresher.RemoveComponent(getSeqPanel().seqCanvas);
1472 PaintRefresher.RemoveComponent(getIdPanel().getIdCanvas());
1473 PaintRefresher.RemoveComponent(this);
1478 * try to ensure references are nulled
1480 if (annotationPanel != null)
1482 annotationPanel.dispose();
1483 annotationPanel = null;
1488 av.removePropertyChangeListener(propertyChangeListener);
1489 propertyChangeListener = null;
1490 StructureSelectionManager ssm = av.getStructureSelectionManager();
1491 ssm.removeStructureViewerListener(getSeqPanel(), null);
1492 ssm.removeSelectionListener(getSeqPanel());
1493 ssm.removeCommandListener(av);
1494 ssm.removeStructureViewerListener(getSeqPanel(), null);
1495 ssm.removeSelectionListener(getSeqPanel());
1501 if (Console.isDebugEnabled())
1503 Console.warn("Closing alignment panel which is already closed.");
1509 * Close any open dialogs that would be orphaned when this one is closed
1511 protected void closeChildFrames()
1513 if (overviewPanel != null)
1515 overviewPanel.dispose();
1516 overviewPanel = null;
1518 if (calculationDialog != null)
1520 calculationDialog.closeFrame();
1521 calculationDialog = null;
1526 * hides or shows dynamic annotation rows based on groups and av state flags
1528 public void updateAnnotation()
1530 updateAnnotation(false, false);
1533 public void updateAnnotation(boolean applyGlobalSettings)
1535 updateAnnotation(applyGlobalSettings, false);
1538 public void updateAnnotation(boolean applyGlobalSettings,
1539 boolean preserveNewGroupSettings)
1541 av.updateGroupAnnotationSettings(applyGlobalSettings,
1542 preserveNewGroupSettings);
1543 adjustAnnotationHeight();
1547 public AlignmentI getAlignment()
1549 return av == null ? null : av.getAlignment();
1553 public String getViewName()
1555 return av.getViewName();
1559 * Make/Unmake this alignment panel the current input focus
1563 public void setSelected(boolean b)
1567 if (alignFrame.getSplitViewContainer() != null)
1570 * bring enclosing SplitFrame to front first if there is one
1572 ((SplitFrame) alignFrame.getSplitViewContainer()).setSelected(b);
1574 alignFrame.setSelected(b);
1575 } catch (Exception ex)
1581 setAlignFrameView();
1585 public void setAlignFrameView()
1587 alignFrame.setDisplayedView(this);
1591 public StructureSelectionManager getStructureSelectionManager()
1593 return av.getStructureSelectionManager();
1597 public void raiseOOMWarning(String string, OutOfMemoryError error)
1599 new OOMWarning(string, error, this);
1603 public jalview.api.FeatureRenderer cloneFeatureRenderer()
1606 return new FeatureRenderer(this);
1610 public jalview.api.FeatureRenderer getFeatureRenderer()
1612 return seqPanel.seqCanvas.getFeatureRenderer();
1615 public void updateFeatureRenderer(
1616 jalview.renderer.seqfeatures.FeatureRenderer fr)
1618 fr.transferSettings(getSeqPanel().seqCanvas.getFeatureRenderer());
1621 public void updateFeatureRendererFrom(jalview.api.FeatureRenderer fr)
1623 if (getSeqPanel().seqCanvas.getFeatureRenderer() != null)
1625 getSeqPanel().seqCanvas.getFeatureRenderer().transferSettings(fr);
1629 public ScalePanel getScalePanel()
1634 public void setScalePanel(ScalePanel scalePanel)
1636 this.scalePanel = scalePanel;
1639 public SeqPanel getSeqPanel()
1644 public void setSeqPanel(SeqPanel seqPanel)
1646 this.seqPanel = seqPanel;
1649 public AnnotationPanel getAnnotationPanel()
1651 return annotationPanel;
1654 public void setAnnotationPanel(AnnotationPanel annotationPanel)
1656 this.annotationPanel = annotationPanel;
1659 public AnnotationLabels getAlabels()
1664 public void setAlabels(AnnotationLabels alabels)
1666 this.alabels = alabels;
1669 public IdPanel getIdPanel()
1674 public void setIdPanel(IdPanel idPanel)
1676 this.idPanel = idPanel;
1680 * Follow a scrolling change in the (cDNA/Protein) complementary alignment.
1681 * The aim is to keep the two alignments 'lined up' on their centre columns.
1684 * holds mapped region(s) of this alignment that we are scrolling
1685 * 'to'; may be modified for sequence offset by this method
1686 * @param verticalOffset
1687 * the number of visible sequences to show above the mapped region
1689 protected void scrollToCentre(SearchResultsI sr, int verticalOffset)
1691 scrollToPosition(sr, verticalOffset, true);
1695 * Set a flag to say do not scroll any (cDNA/protein) complement.
1699 protected void setToScrollComplementPanel(boolean b)
1701 this.scrollComplementaryPanel = b;
1705 * Get whether to scroll complement panel
1707 * @return true if cDNA/protein complement panels should be scrolled
1709 protected boolean isSetToScrollComplementPanel()
1711 return this.scrollComplementaryPanel;
1717 * @adjustHeight if true, try to recalculate panel height for visible
1720 protected void refresh(boolean adjustHeight)
1722 validateAnnotationDimensions(adjustHeight);
1726 // sort, repaint, update overview
1727 paintAlignment(true, false);
1731 // lightweight repaint
1738 * Property change event fired when a change is made to the viewport ranges
1739 * object associated with this alignment panel's viewport
1741 public void propertyChange(PropertyChangeEvent evt)
1743 // update this panel's scroll values based on the new viewport ranges values
1744 updateScrollBarsFromRanges();
1746 // now update any complementary alignment (its viewport ranges object
1747 // is different so does not get automatically updated)
1748 if (isSetToScrollComplementPanel())
1750 setToScrollComplementPanel(false);
1751 av.scrollComplementaryAlignment();
1752 setToScrollComplementPanel(true);
1756 void updateScrollBarsFromRanges()
1758 ViewportRanges ranges = av.getRanges();
1759 setScrollValues(ranges.getStartRes(), ranges.getStartSeq());
1762 * Set the reference to the PCA/Tree chooser dialog for this panel. This
1763 * reference should be nulled when the dialog is closed.
1765 * @param calculationChooser
1767 public void setCalculationDialog(CalculationChooser calculationChooser)
1769 calculationDialog = calculationChooser;
1773 * Returns the reference to the PCA/Tree chooser dialog for this panel (null
1776 public CalculationChooser getCalculationDialog()
1778 return calculationDialog;
1782 * From appletgui, for JalviewJS JavaScript interface
1784 * preliminary - untested
1789 * @param scrollToNearest
1790 * @param redrawOverview
1793 public boolean scrollTo(int ostart, int end, int seqIndex,
1794 boolean scrollToNearest, boolean redrawOverview)
1796 int startv, endv, starts, ends;// , width;
1799 if (av.hasHiddenColumns())
1801 AlignmentI al = av.getAlignment();
1802 start = al.getHiddenColumns().absoluteToVisibleColumn(ostart);
1803 end = al.getHiddenColumns().absoluteToVisibleColumn(end);
1806 if (!scrollToNearest && !al.getHiddenColumns().isVisible(ostart))
1808 // don't scroll - position isn't visible
1818 ViewportRanges ranges = av.getRanges();
1819 if (!av.getWrapAlignment())
1822 * int spos=av.getStartRes(),sqpos=av.getStartSeq(); if ((startv =
1823 * av.getStartRes()) >= start) { spos=start-1; // seqIn //
1824 * setScrollValues(start - 1, seqIndex); } else if ((endv =
1825 * av.getEndRes()) <= end) { // setScrollValues(spos=startv + 1 + end -
1826 * endv, seqIndex); spos=startv + 1 + end - endv; } else if ((starts =
1827 * av.getStartSeq()) > seqIndex) { setScrollValues(av.getStartRes(),
1828 * seqIndex); } else if ((ends = av.getEndSeq()) <= seqIndex) {
1829 * setScrollValues(av.getStartRes(), starts + seqIndex - ends + 1); }
1832 // below is scrolling logic up to Jalview 2.8.2
1833 // if ((av.getStartRes() > end)
1834 // || (av.getEndRes() < start)
1835 // || ((av.getStartSeq() > seqIndex) || (av.getEndSeq() < seqIndex)))
1837 // if (start > av.getAlignment().getWidth() - hextent)
1839 // start = av.getAlignment().getWidth() - hextent;
1846 // if (seqIndex > av.getAlignment().getHeight() - vextent)
1848 // seqIndex = av.getAlignment().getHeight() - vextent;
1849 // if (seqIndex < 0)
1854 // setScrollValues(start, seqIndex);
1856 // logic copied from jalview.gui.AlignmentPanel:
1857 if ((startv = ranges.getStartRes()) >= start)
1860 * Scroll left to make start of search results visible
1862 setScrollValues(start - 1, seqIndex);
1864 else if ((endv = ranges.getEndRes()) <= end)
1867 * Scroll right to make end of search results visible
1869 setScrollValues(startv + 1 + end - endv, seqIndex);
1871 else if ((starts = ranges.getStartSeq()) > seqIndex)
1874 * Scroll up to make start of search results visible
1876 setScrollValues(ranges.getStartRes(), seqIndex);
1878 else if ((ends = ranges.getEndSeq()) <= seqIndex)
1881 * Scroll down to make end of search results visible
1883 setScrollValues(ranges.getStartRes(), starts + seqIndex - ends + 1);
1886 * Else results are already visible - no need to scroll
1891 ranges.scrollToWrappedVisible(start);
1894 paintAlignment(redrawOverview, false);
1898 private boolean holdRepaint = false;
1901 * Called by IdCanvas and SeqPanel to defer painting until after JVP loading.
1903 * @return true if holding
1905 public boolean getHoldRepaint()
1911 * Called by Jalview2xml while loading
1915 public void setHoldRepaint(boolean tf)
1917 if (holdRepaint == tf)
1929 public void repaint()
1933 // System.out.println("AP repaint holding");
1934 // Platform.stackTrace();
1940 public void selectAllSequences()
1942 selectSequences(av.getAlignment().getSequences());
1945 public void deselectAllSequences()
1949 getSeqPanel().keyboardNo1 = null;
1950 getSeqPanel().keyboardNo2 = null;
1952 av.setSelectionGroup(null);
1953 av.getColumnSelection().clear();
1954 av.setSearchResults(null);
1955 getIdPanel().getIdCanvas().searchResults = null;
1957 // JAL-2034 - should delegate to
1958 // alignPanel to decide if overview needs
1960 paintAlignment(false, false);
1961 PaintRefresher.Refresh(this, av.getSequenceSetId());
1964 public void selectSequences(List<SequenceI> seqs)
1966 SequenceGroup sg = new SequenceGroup(seqs);
1967 sg.setEndRes(av.getAlignment().getWidth() - 1);
1968 av.setSelectionGroup(sg);
1969 av.isSelectionGroupChanged(true);
1971 // JAL-2034 - should delegate to
1972 // alignPanel to decide if overview needs
1974 paintAlignment(false, false);
1975 PaintRefresher.Refresh(this, av.getSequenceSetId());