X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FAlignmentPanel.java;h=da55119dcc620accf96010a27ba8a2d4065cb238;hb=81aaad88042de8ba97baf33da5185c04ab71aacc;hp=68746e37bc08c2e1927f1414d32c225bffb1051b;hpb=5150ffd5baa1f58bb6b4059616bc6b9050326553;p=jalview.git diff --git a/src/jalview/appletgui/AlignmentPanel.java b/src/jalview/appletgui/AlignmentPanel.java index 68746e3..da55119 100755 --- a/src/jalview/appletgui/AlignmentPanel.java +++ b/src/jalview/appletgui/AlignmentPanel.java @@ -1,19 +1,36 @@ +/* + * Jalview - A Sequence Alignment Editor and Viewer + * Copyright (C) 2006 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle + * + * This program is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA + */ + package jalview.appletgui; -import jalview.jbappletgui.GAlignmentPanel; -import jalview.schemes.*; -import jalview.analysis.*; -import jalview.datamodel.*; import java.awt.*; import java.awt.event.*; -public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListener +import jalview.datamodel.*; + +public class AlignmentPanel extends Panel implements AdjustmentListener { - AlignViewport av; + AlignViewport av; OverviewPanel overviewPanel; - SeqPanel seqPanel; - IdPanel idPanel; + SeqPanel seqPanel; + IdPanel idPanel; IdwidthAdjuster idwidthAdjuster; public AlignFrame alignFrame; ScalePanel scalePanel; @@ -23,21 +40,36 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene // this value is set false when selection area being dragged boolean fastPaint = true; + + public AlignmentPanel(AlignFrame af, final AlignViewport av) { + try + { + jbInit(); + } + catch (Exception e) + { + e.printStackTrace(); + } + + alignFrame = af; - this.av = av; - seqPanel = new SeqPanel (av, this); - idPanel = new IdPanel (av, this); - scalePanel = new ScalePanel(av, this); + this.av = av; + seqPanel = new SeqPanel(av, this); + idPanel = new IdPanel(av, this); + scalePanel = new ScalePanel(av, this); idwidthAdjuster = new IdwidthAdjuster(this); annotationPanel = new AnnotationPanel(this); - alabels = new AnnotationLabels(this); + sequenceHolderPanel.add(annotationPanel, BorderLayout.SOUTH); + + alabels = new AnnotationLabels(this); + + setAnnotationVisible(av.showAnnotation); idPanelHolder.add(idPanel, BorderLayout.CENTER); idSpaceFillerPanel1.add(idwidthAdjuster, BorderLayout.CENTER); - annotationScroller.add(annotationPanel); annotationSpaceFillerHolder.add(alabels, BorderLayout.CENTER); scalePanelHolder.add(scalePanel, BorderLayout.CENTER); seqPanelHolder.add(seqPanel, BorderLayout.CENTER); @@ -48,224 +80,210 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene hscroll.addAdjustmentListener(this); vscroll.addAdjustmentListener(this); - seqPanel.seqCanvas.addKeyListener( new MyKeyAdapter() ); - idPanel.idCanvas.addKeyListener( new MyKeyAdapter() ); - - addComponentListener(new ComponentAdapter() - { - public void componentResized(ComponentEvent evt) - { - setScrollValues(av.getStartRes(), av.getStartSeq()); - repaint(); - } - }); + addComponentListener(new ComponentAdapter() + { + public void componentResized(ComponentEvent evt) + { + setScrollValues(av.getStartRes(), av.getStartSeq()); + repaint(); + } + }); - Dimension d = calculateIdWidth(); - idPanel.idCanvas.setSize(d); + Dimension d = calculateIdWidth(); + idPanel.idCanvas.setSize(d); - hscrollFillerPanel.setSize(d.width, annotationPanel.getSize().height); - annotationScroller.setSize(annotationPanel.getSize()); + hscrollFillerPanel.setSize(d.width, annotationPanel.getSize().height); - idPanel.idCanvas.setSize(d.width, seqPanel.seqCanvas.getSize().height); - annotationSpaceFillerHolder.setSize(d.width,annotationPanel.getSize().height); - alabels.setSize(d.width,annotationPanel.getSize().height); + idPanel.idCanvas.setSize(d.width, seqPanel.seqCanvas.getSize().height); + annotationSpaceFillerHolder.setSize(d.width, + annotationPanel.getSize().height); + alabels.setSize(d.width, annotationPanel.getSize().height); } - class MyKeyAdapter extends KeyAdapter - { - public void keyPressed(KeyEvent evt) - { - System.out.println(evt.getKeyCode()); - switch(evt.getKeyCode()) - { - case 27: // escape key - av.setSelectionGroup(null); - alignFrame.alignPanel.repaint(); - break; - case KeyEvent.VK_X: - if(evt.isControlDown()) - alignFrame.cut_actionPerformed(null); - break; - case KeyEvent.VK_C: - if(evt.isControlDown()) - alignFrame.copy_actionPerformed(null); - break; - case KeyEvent.VK_V: - if(evt.isControlDown()) - alignFrame.paste(true); - break; - case KeyEvent.VK_A: - if(evt.isControlDown()) - alignFrame.selectAllSequenceMenuItem_actionPerformed(null); - break; - case KeyEvent.VK_DOWN: - alignFrame.moveSelectedSequences(false); - break; - case KeyEvent.VK_UP: - alignFrame.moveSelectedSequences(true); - break; - case KeyEvent.VK_F: - if(evt.isControlDown()) - alignFrame.findMenuItem_actionPerformed(null); - break; - } - } - } public void fontChanged() { // set idCanvas bufferedImage to null // to prevent drawing old image + idPanel.idCanvas.image = null; FontMetrics fm = getFontMetrics(av.getFont()); - scalePanel.setSize(new Dimension(10, av.charHeight+fm.getDescent())); - idwidthAdjuster.setSize(new Dimension(10, av.charHeight+fm.getDescent())); + scalePanel.setSize(new Dimension(10, av.charHeight + fm.getDescent())); + idwidthAdjuster.setSize(new Dimension(10, av.charHeight + fm.getDescent())); - annotationPanel.adjustPanelHeight(); + annotationPanel.image = null; + int ap = annotationPanel.adjustPanelHeight(); annotationPanel.repaint(); Dimension d = calculateIdWidth(); d.setSize(d.width + 4, seqPanel.seqCanvas.getSize().height); + alabels.setSize(d.width+4, ap ); idPanel.idCanvas.setSize(d); hscrollFillerPanel.setSize(d); - alignFrame.pack(); + validate(); + repaint(); + + if(overviewPanel!=null) + overviewPanel.updateOverviewImage(); } public void setIdWidth(int w, int h) { - idPanel.idCanvas.setSize(w,h); - idPanelHolder.setSize(w,idPanelHolder.getSize().height); - alabels.setSize(w,alabels.getSize().height); + idPanel.idCanvas.setSize(w, h); + idPanelHolder.setSize(w, idPanelHolder.getSize().height); + alabels.setSize(w, alabels.getSize().height); validate(); } + Dimension calculateIdWidth() { - Frame frame = new Frame(); - frame.addNotify(); - Graphics g = frame.getGraphics(); - if(g==null) + if (av.nullFrame == null) { - Frame f = new Frame(); - f.addNotify(); - g = f.getGraphics(); + av.nullFrame = new Frame(); + av.nullFrame.addNotify(); } + Graphics g = av.nullFrame.getGraphics(); + FontMetrics fm = g.getFontMetrics(av.font); AlignmentI al = av.getAlignment(); - int i = 0; - int idWidth = 0; - String id; - while (i < al.getHeight() && al.getSequenceAt(i) != null) - { - SequenceI s = al.getSequenceAt(i); - if(av.getShowFullId()) - id = s.getDisplayId(); - else - id = s.getName(); - - if (fm.stringWidth(id) > idWidth) - idWidth = fm.stringWidth(id); - i++; - } - - // Also check annotation label widths - i=0; - if(al.getAlignmentAnnotation()!=null) - { - fm = g.getFontMetrics(frame.getFont()); - while (i < al.getAlignmentAnnotation().length) - { - String label = al.getAlignmentAnnotation()[i].label; - if (fm.stringWidth(label) > idWidth) - idWidth = fm.stringWidth(label); - i++; - } - } - - return new Dimension(idWidth, idPanel.idCanvas.getSize().height); - } + int i = 0; + int idWidth = 0; + String id; + while (i < al.getHeight() && al.getSequenceAt(i) != null) + { + SequenceI s = al.getSequenceAt(i); + id = s.getDisplayId(av.getShowJVSuffix()); + if (fm.stringWidth(id) > idWidth) + { + idWidth = fm.stringWidth(id); + } + i++; + } - public void highlightSearchResults(int [] results) - { - seqPanel.seqCanvas.highlightSearchResults( results ); + // Also check annotation label widths + i = 0; + if (al.getAlignmentAnnotation() != null) + { + fm = g.getFontMetrics(av.nullFrame.getFont()); + while (i < al.getAlignmentAnnotation().length) + { + String label = al.getAlignmentAnnotation()[i].label; + if (fm.stringWidth(label) > idWidth) + { + idWidth = fm.stringWidth(label); + } + i++; + } + } + + return new Dimension(idWidth, idPanel.idCanvas.getSize().height); + } + + public void highlightSearchResults(SearchResults results) + { + seqPanel.seqCanvas.highlightSearchResults(results); // do we need to scroll the panel? - if(results!=null) + if (results != null) { - SequenceI seq = av.alignment.getSequenceAt(results[0]); - int start = seq.findIndex( results[1] )-1; - int end = seq.findIndex( results[2] )-1; - if( av.getStartRes() > start - || av.getEndRes() < end - || (av.getStartSeq() > results[0] - || av.getEndSeq() < results[0])) - setScrollValues(start, results[0]); + SequenceI seq = results.getResultSequence(0); + int seqIndex = av.alignment.findIndex(seq); + int start = seq.findIndex(results.getResultStart(0)) - 1; + int end = seq.findIndex(results.getResultEnd(0)) - 1; + + if(!av.wrapAlignment) + { + if ( (av.getStartRes() > end) || (av.getEndRes() < start) || + ( (av.getStartSeq() > seqIndex) || (av.getEndSeq() < seqIndex))) + { + if (start > av.alignment.getWidth() - hextent) + { + start = av.alignment.getWidth() - hextent; + if (start < 0) + start = 0; + } + if (seqIndex > av.alignment.getHeight() - vextent) + { + seqIndex = av.alignment.getHeight() - vextent; + if (seqIndex < 0) + seqIndex = 0; + } + setScrollValues(start, seqIndex); + } + } + else + { + scrollToWrappedVisible(start); + } } - } + repaint(); + } + void scrollToWrappedVisible(int res) + { + int cwidth = seqPanel.seqCanvas.getWrappedCanvasWidth(seqPanel.seqCanvas.getSize().width); + if (res <= av.getStartRes() || res >= (av.getStartRes() + cwidth)) + { + vscroll.setValue(res / cwidth); + av.startRes = vscroll.getValue() * cwidth; + } + } - public OverviewPanel getOverviewPanel() - { - return overviewPanel; - } - public void setOverviewPanel(OverviewPanel op) - { - overviewPanel = op; - } + public OverviewPanel getOverviewPanel() + { + return overviewPanel; + } + public void setOverviewPanel(OverviewPanel op) + { + overviewPanel = op; + } public void setAnnotationVisible(boolean b) { - annotationSpaceFillerHolder.setVisible(b); - annotationScroller.setVisible(b); + if (!av.wrapAlignment) + { + annotationSpaceFillerHolder.setVisible(b); + annotationPanel.setVisible(b); + } validate(); repaint(); } - public void setWrapAlignment(boolean wrap) { + av.startSeq = 0; scalePanelHolder.setVisible(!wrap); - hscroll.setVisible(!wrap); - idwidthAdjuster.setVisible(!wrap); - - av.setShowAnnotation(!wrap); - annotationScroller.setVisible(!wrap); - annotationSpaceFillerHolder.setVisible(!wrap); - idSpaceFillerPanel1.setVisible(!wrap); - - validate(); - repaint(); - - } - public void setColourScheme() - { - ColourSchemeI cs = av.getGlobalColourScheme(); + hscroll.setVisible(!wrap); + idwidthAdjuster.setVisible(!wrap); - if(av.getConservationSelected()) + if (wrap) { + annotationPanel.setVisible(false); + annotationSpaceFillerHolder.setVisible(false); + } + else if (av.showAnnotation) + { + annotationPanel.setVisible(true); + annotationSpaceFillerHolder.setVisible(true); + } - Alignment al = (Alignment)av.getAlignment(); - Conservation c = new Conservation("All", - ResidueProperties.propHash, 3, al.getSequences(), 0, - al.getWidth() ); - - c.calculate(); - c.verdict(false, av.ConsPercGaps); - ConservationColourScheme ccs = new ConservationColourScheme(c, cs); - av.setGlobalColourScheme( ccs ); + idSpaceFillerPanel1.setVisible(!wrap); - } + fontChanged();//This is so that the scalePanel is resized correctly + validate(); repaint(); + } @@ -275,165 +293,296 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene // return value is true if the scroll is valid public boolean scrollUp(boolean up) { - if(up) + if (up) { - if(vscroll.getValue()<1) + if (vscroll.getValue() < 1) + { return false; - fastPaint = false; - vscroll.setValue(vscroll.getValue() - 1); + } + setScrollValues(hscroll.getValue(), vscroll.getValue()-1); } else { - if(vextent+vscroll.getValue() >= av.getAlignment().getHeight()) - return false; - fastPaint = false; - vscroll.setValue(vscroll.getValue() + 1); + if (vextent + vscroll.getValue() >= av.getAlignment().getHeight()) + { + return false; + } + setScrollValues(hscroll.getValue(), vscroll.getValue()+1); } - fastPaint = true; + + repaint(); return true; } public boolean scrollRight(boolean right) { - - if (right) + if (!right) { if (hscroll.getValue() < 1) + { return false; - fastPaint = false; - hscroll.setValue(hscroll.getValue() - 1); + } + setScrollValues(hscroll.getValue()-1, vscroll.getValue()); } else { if (hextent + hscroll.getValue() >= av.getAlignment().getWidth()) + { return false; - fastPaint = false; - hscroll.setValue(hscroll.getValue() + 1); + } + setScrollValues(hscroll.getValue()+1, vscroll.getValue()); } - fastPaint = true; + + repaint(); return true; } - public void setScrollValues(int x, int y) { + int width = av.alignment.getWidth(); + int height = av.alignment.getHeight(); + + if(av.hasHiddenColumns) + width = av.getColumnSelection().findColumnPosition(width); av.setStartRes(x); av.setStartSeq(y); - av.setEndRes(x + seqPanel.seqCanvas.getSize().width/av.getCharWidth()-1); - hextent = seqPanel.seqCanvas.getSize().width/av.charWidth; - vextent = seqPanel.seqCanvas.getSize().height/av.charHeight; + av.setEndRes( (x + (seqPanel.seqCanvas.getSize().width / av.charWidth)) -1); - if(hextent > av.alignment.getWidth()) - hextent = av.alignment.getWidth(); - if(vextent > av.alignment.getHeight()) - vextent = av.alignment.getHeight(); + hextent = seqPanel.seqCanvas.getSize().width / av.charWidth; + vextent = seqPanel.seqCanvas.getSize().height / av.charHeight; - if(hextent+x > av.getAlignment().getWidth()) - x = av.getAlignment().getWidth()- hextent; + if (hextent > width) + { + hextent = width; + } - if(vextent+y > av.getAlignment().getHeight()) - y = av.getAlignment().getHeight() - vextent; + if (vextent > height) + { + vextent = height; + } - if(y<0) - y = 0; + if ( (hextent + x) > width) + { + x = width - hextent; + } + + if ( (vextent + y) > height) + { + y = height - vextent; + } - if(x<0) - x=0; + if (y < 0) + { + y = 0; + } + if (x < 0) + { + x = 0; + } int endSeq = y + vextent; - if(endSeq>av.alignment.getHeight()) + if (endSeq > av.alignment.getHeight()) + { endSeq = av.alignment.getHeight(); + } + av.setEndSeq(endSeq); + hscroll.setValues(x, hextent, 0, av.getAlignment().getWidth()); + vscroll.setValues(y, vextent, 0, av.getAlignment().getHeight()); - av.setEndSeq( endSeq ); - hscroll.setValues(x,hextent,0,av.getAlignment().getWidth()); - vscroll.setValues(y,vextent,0,av.getAlignment().getHeight() ); + if(overviewPanel!=null) + overviewPanel.setBoxPosition(); } - public void adjustmentValueChanged(AdjustmentEvent evt) { int oldX = av.getStartRes(); int oldY = av.getStartSeq(); - if (evt.getSource() == hscroll) + + if (evt==null || evt.getSource() == hscroll) { int x = hscroll.getValue(); av.setStartRes(x); - av.setEndRes(x + seqPanel.seqCanvas.getSize().width/av.getCharWidth()-1); + av.setEndRes(x + seqPanel.seqCanvas.getSize().width / av.getCharWidth() - + 1); } - if (evt.getSource() == vscroll) + + if (evt==null || evt.getSource() == vscroll) { int offy = vscroll.getValue(); if (av.getWrapAlignment()) { - int rowSize = seqPanel.seqCanvas.getWrappedCanvasWidth(seqPanel.seqCanvas.getSize().width); - av.setStartRes( vscroll.getValue() * rowSize ); - av.setEndRes( (vscroll.getValue()+1) * rowSize ); + int rowSize = seqPanel.seqCanvas.getWrappedCanvasWidth(seqPanel. + seqCanvas.getSize().width); + av.setStartRes(vscroll.getValue() * rowSize); + av.setEndRes( (vscroll.getValue() + 1) * rowSize); } else { av.setStartSeq(offy); - av.setEndSeq(offy + seqPanel.seqCanvas.getSize().height / av.getCharHeight()); + av.setEndSeq(offy + + seqPanel.seqCanvas.getSize().height / av.getCharHeight()); } } - if(overviewPanel!=null) + if (overviewPanel != null) + { overviewPanel.setBoxPosition(); + } - if(av.getWrapAlignment() || !fastPaint) + int scrollX = av.startRes - oldX; + int scrollY = av.startSeq - oldY; + + if (av.getWrapAlignment() || !fastPaint || av.MAC) + { repaint(); + } else { - idPanel.idCanvas.fastPaint(av.getStartSeq() - oldY); - seqPanel.seqCanvas.fastPaint(av.getStartRes() - oldX, - av.getStartSeq() - oldY); + // Make sure we're not trying to draw a panel + // larger than the visible window + if(scrollX>av.endRes-av.startRes) + { + scrollX = av.endRes - av.startRes; + } + else if(scrollX0) + { + int max = maxwidth / canvasWidth; + vscroll.setMaximum(max); + vscroll.setUnitIncrement(1); + vscroll.setVisibleAmount(1); + } } else { setScrollValues(av.getStartRes(), av.getStartSeq()); } + alabels.repaint(); + + seqPanel.seqCanvas.repaint(); + scalePanel.repaint(); + annotationPanel.repaint(); + idPanel.idCanvas.repaint(); + if (getBounds() == g.getClipBounds()) + { + if (overviewPanel != null) + overviewPanel.updateOverviewImage(); + } + + } + protected Panel sequenceHolderPanel = new Panel(); + protected Scrollbar vscroll = new Scrollbar(); + protected Scrollbar hscroll = new Scrollbar(); + protected Panel seqPanelHolder = new Panel(); + BorderLayout borderLayout1 = new BorderLayout(); + BorderLayout borderLayout3 = new BorderLayout(); + protected Panel scalePanelHolder = new Panel(); + protected Panel idPanelHolder = new Panel(); + BorderLayout borderLayout5 = new BorderLayout(); + protected Panel idSpaceFillerPanel1 = new Panel(); + public Panel annotationSpaceFillerHolder = new Panel(); + BorderLayout borderLayout6 = new BorderLayout(); + BorderLayout borderLayout7 = new BorderLayout(); + Panel hscrollHolder = new Panel(); + BorderLayout borderLayout10 = new BorderLayout(); + protected Panel hscrollFillerPanel = new Panel(); + BorderLayout borderLayout11 = new BorderLayout(); + BorderLayout borderLayout4 = new BorderLayout(); + BorderLayout borderLayout2 = new BorderLayout(); + + private void jbInit() throws Exception { + // idPanelHolder.setPreferredSize(new Dimension(70, 10)); + this.setLayout(borderLayout7); + + // sequenceHolderPanel.setPreferredSize(new Dimension(150, 150)); + sequenceHolderPanel.setLayout(borderLayout3); + seqPanelHolder.setLayout(borderLayout1); + scalePanelHolder.setBackground(Color.white); + + // scalePanelHolder.setPreferredSize(new Dimension(10, 30)); + scalePanelHolder.setLayout(borderLayout6); + idPanelHolder.setLayout(borderLayout5); + idSpaceFillerPanel1.setBackground(Color.white); + + // idSpaceFillerPanel1.setPreferredSize(new Dimension(10, 30)); + idSpaceFillerPanel1.setLayout(borderLayout11); + annotationSpaceFillerHolder.setBackground(Color.white); + + // annotationSpaceFillerHolder.setPreferredSize(new Dimension(10, 80)); + annotationSpaceFillerHolder.setLayout(borderLayout4); + hscroll.setOrientation(Scrollbar.HORIZONTAL); + hscrollHolder.setLayout(borderLayout10); + hscrollFillerPanel.setBackground(Color.white); + + // hscrollFillerPanel.setPreferredSize(new Dimension(70, 10)); + hscrollHolder.setBackground(Color.white); + + // annotationScroller.setPreferredSize(new Dimension(10, 80)); + // this.setPreferredSize(new Dimension(220, 166)); + seqPanelHolder.setBackground(Color.white); + idPanelHolder.setBackground(Color.white); + sequenceHolderPanel.add(scalePanelHolder, BorderLayout.NORTH); + sequenceHolderPanel.add(seqPanelHolder, BorderLayout.CENTER); + seqPanelHolder.add(vscroll, BorderLayout.EAST); + + // Panel3.add(secondaryPanelHolder, BorderLayout.SOUTH); + this.add(idPanelHolder, BorderLayout.WEST); + idPanelHolder.add(idSpaceFillerPanel1, BorderLayout.NORTH); + idPanelHolder.add(annotationSpaceFillerHolder, BorderLayout.SOUTH); + this.add(hscrollHolder, BorderLayout.SOUTH); + hscrollHolder.add(hscroll, BorderLayout.CENTER); + hscrollHolder.add(hscrollFillerPanel, BorderLayout.WEST); + this.add(sequenceHolderPanel, BorderLayout.CENTER); } + }