X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FAlignmentPanel.java;h=73cee2d7fefd691fa2c83a007479c257519409b3;hb=7ee3b5a7f099858cdde2318c719121b39d9e466e;hp=9ee577a6ace906b7a79cdc3559f40cb71a768a50;hpb=c87b480e692410c150592b48beb8b1e234450717;p=jalview.git diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java index 9ee577a..73cee2d 100755 --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -7,10 +7,11 @@ import jalview.datamodel.*; import java.awt.*; import java.awt.event.*; import java.awt.print.*; - -import com.sun.image.codec.jpeg.*; import java.io.*; import java.awt.image.*; +import org.jibble.epsgraphics.*; +import javax.imageio.*; + public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListener, Printable @@ -20,10 +21,14 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene OverviewPanel overviewPanel; SeqPanel seqPanel; IdPanel idPanel; - SecondaryStructurePanel ssPanel; + IdwidthAdjuster idwidthAdjuster; public AlignFrame alignFrame; ScalePanel scalePanel; - ScorePanel scorePanel; + AnnotationPanel annotationPanel; + AnnotationLabels alabels; + + // this value is set false when selection area being dragged + boolean fastPaint = true; public AlignmentPanel(AlignFrame af, final AlignViewport av) { @@ -31,17 +36,43 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene this.av = av; seqPanel = new SeqPanel (av, this); idPanel = new IdPanel (av, this); + scalePanel = new ScalePanel(av, this); - scorePanel = new ScorePanel(av); - ssPanel = new SecondaryStructurePanel(av); - secondaryPanelHolder.add(ssPanel, BorderLayout.CENTER); idPanelHolder.add(idPanel, BorderLayout.CENTER); - idPanel.addNotify(); + idwidthAdjuster = new IdwidthAdjuster(this); + idSpaceFillerPanel1.add(idwidthAdjuster, BorderLayout.CENTER); + + annotationPanel = new AnnotationPanel(this); + alabels = new AnnotationLabels(this); + + annotationSpaceFillerHolder.setPreferredSize(annotationPanel.getPreferredSize()); + annotationScroller.setPreferredSize(annotationPanel.getPreferredSize()); + annotationScroller.setViewportView(annotationPanel); + annotationSpaceFillerHolder.add(alabels, BorderLayout.CENTER); + + Dimension d = calculateIdWidth(); + d.setSize( d.width+4, d.height); + idPanel.idCanvas.setPreferredSize( d ); + hscrollFillerPanel.setPreferredSize( d ); + scalePanelHolder.add(scalePanel, BorderLayout.CENTER); - scorePanelHolder.add(scorePanel, BorderLayout.CENTER); seqPanelHolder.add(seqPanel, BorderLayout.CENTER); - setScrollValues(0,0); + + + if(seqPanel.seqCanvas.getWidth()==0) + javax.swing.SwingUtilities.invokeLater(new Runnable() + { + public void run() + { + setScrollValues(0,0); + Dimension d = calculateIdWidth(); + d.setSize( d.width+4, d.height); + idPanel.idCanvas.setPreferredSize( d ); + RefreshPanels(); + } + }); + hscroll.addAdjustmentListener(this); vscroll.addAdjustmentListener(this); @@ -54,11 +85,7 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene } }); - - hscroll.setFocusable(false); - vscroll.setFocusable(false); setFocusable(true); - addKeyListener(new KeyAdapter() { public void keyPressed(KeyEvent evt) @@ -66,19 +93,23 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene switch(evt.getKeyCode()) { case 27: // escape key - av.setRubberbandGroup(null); + av.setSelectionGroup(null); RefreshPanels(); 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: @@ -88,6 +119,7 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene alignFrame.moveSelectedSequences(true); break; case KeyEvent.VK_F: + if(evt.isControlDown()) alignFrame.findMenuItem_actionPerformed(null); break; } @@ -95,6 +127,52 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene }); } + Dimension calculateIdWidth() + { + Graphics g = this.getGraphics(); + if(g==null) + { + javax.swing.JFrame f = new javax.swing.JFrame(); + f.addNotify(); + g = f.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(alabels.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, 12); + } + public void highlightSearchResults(int [] results) { @@ -122,34 +200,38 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene } - public void setGraphPanelVisible(boolean b) + public void setAnnotationVisible(boolean b) { - idSpaceFillerPanel.setVisible(b); - scorePanelHolder.setVisible(b); + annotationSpaceFillerHolder.setVisible(b); + annotationScroller.setVisible(b); + javax.swing.SwingUtilities.invokeLater(new Runnable() + { + public void run() + { + RefreshPanels(); + } + }); - RefreshPanels(); - // bit annoying to call this twice, can you do better? - RefreshPanels(); } - public void setSecondaryStructureVisible(boolean b) - { - secondaryPanelHolder.setVisible(b); - RefreshPanels(); - } public void setWrapAlignment(boolean wrap) { - scorePanelHolder.setVisible(!wrap); scalePanelHolder.setVisible(!wrap); - secondaryPanelHolder.setVisible(!wrap); - hscroll.setVisible(!wrap); + idwidthAdjuster.setVisible(!wrap); - idSpaceFillerPanel.setVisible(!wrap); + av.setShowAnnotation(!wrap); + annotationScroller.setVisible(!wrap); + annotationSpaceFillerHolder.setVisible(!wrap); idSpaceFillerPanel1.setVisible(!wrap); - - RefreshPanels(); + javax.swing.SwingUtilities.invokeLater(new Runnable() + { + public void run() + { + RefreshPanels(); + } + }); } @@ -177,41 +259,87 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene RefreshPanels(); } + public void RefreshPanels() { requestFocus(); invalidate(); - seqPanel.seqCanvas.paintFlag = true; - idPanel.idCanvas.paintFlag = true; - idPanelHolder.setPreferredSize( idPanel.idCanvas.getPreferredSize() ); - if(av.getWrapAlignment()) - { - int max = av.alignment.getWidth()/ (seqPanel.seqCanvas.getWidth()/av.charWidth)+1; + Dimension d = idPanel.idCanvas.getPreferredSize(); + idPanelHolder.setPreferredSize(d); + hscrollFillerPanel.setPreferredSize(new Dimension(d.width, 12)); - int h = (av.alignment.getHeight() + 2)*av.charHeight; - vextent = seqPanel.seqCanvas.getHeight()/h; - vscroll.setValues(0,vextent,0,max); + if (av.getWrapAlignment()) + { + int max = av.alignment.getWidth() / seqPanel.seqCanvas.getWrappedCanvasWidth(seqPanel.seqCanvas.getWidth()); + vscroll.setValues(0, 1, 0, max); } else - - setScrollValues(av.getStartRes(), av.getStartSeq()); - av.getConsensus(true); - if(overviewPanel!=null) - overviewPanel.updateOverviewImage(); + { + if (overviewPanel != null) + overviewPanel.updateOverviewImage(); + setScrollValues(av.getStartRes(), av.getStartSeq()); + } validate(); repaint(); - } int hextent = 0; int vextent = 0; + // return value is true if the scroll is valid + public boolean scrollUp(boolean up) + { + if(up) + { + if(vscroll.getValue()<1) + return false; + fastPaint = false; + vscroll.setValue(vscroll.getValue() - 1); + } + else + { + if(vextent+vscroll.getValue() >= av.getAlignment().getHeight()) + return false; + fastPaint = false; + vscroll.setValue(vscroll.getValue() + 1); + } + fastPaint = true; + return true; + } + + public boolean scrollRight(boolean right) + { + + if (right) + { + if (hscroll.getValue() < 1) + return false; + fastPaint = false; + hscroll.setValue(hscroll.getValue() - 1); + } + else + { + if (hextent + hscroll.getValue() >= av.getAlignment().getWidth()) + return false; + fastPaint = false; + hscroll.setValue(hscroll.getValue() + 1); + } + fastPaint = true; + return true; + } + + public void setScrollValues(int x, int y) { - hextent = seqPanel.seqCanvas.getWidth()/av.getCharWidth(); - vextent = seqPanel.seqCanvas.getHeight()/av.getCharHeight(); + hextent = seqPanel.seqCanvas.getWidth()/av.charWidth; + vextent = seqPanel.seqCanvas.getHeight()/av.charHeight; + + if(hextent > av.alignment.getWidth()) + hextent = av.alignment.getWidth(); + if(vextent > av.alignment.getHeight()) + vextent = av.alignment.getHeight(); if(hextent+x > av.getAlignment().getWidth()) x = av.getAlignment().getWidth()- hextent; @@ -228,14 +356,13 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene hscroll.setValues(x,hextent,0,av.getAlignment().getWidth()); vscroll.setValues(y,vextent,0,av.getAlignment().getHeight() ); - - repaint(); - } public void adjustmentValueChanged(AdjustmentEvent evt) { + int oldX = av.getStartRes(); + int oldY = av.getStartSeq(); if (evt.getSource() == hscroll) { @@ -249,7 +376,9 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene int offy = vscroll.getValue(); if (av.getWrapAlignment()) { - av.setStartRes( vscroll.getValue() * av.getChunkWidth()); + int rowSize = seqPanel.seqCanvas.getWrappedCanvasWidth(seqPanel.seqCanvas.getWidth()); + av.setStartRes( vscroll.getValue() * rowSize ); + av.setEndRes( (vscroll.getValue()+1) * rowSize ); } else { @@ -262,7 +391,18 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene if(overviewPanel!=null) overviewPanel.setBoxPosition(); - repaint(); + if(av.getWrapAlignment() || !fastPaint) + repaint(); + else + { + seqPanel.seqCanvas.fastPaint(av.getStartRes() - oldX, + av.getStartSeq() - oldY); + idPanel.idCanvas.fastPaint(av.getStartSeq() - oldY); + scalePanel.repaint(); + if (av.getShowAnnotation()) + annotationPanel.fastPaint(av.getStartRes() - oldX); + } + } public int print(Graphics pg, PageFormat pf, int pi) throws PrinterException @@ -281,7 +421,7 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene public int printUnwrapped(Graphics pg, int pwidth, int pheight, int pi) throws PrinterException { - int idWidth = (int)idPanel.idCanvas.getLabelWidth().getWidth(); + int idWidth = calculateIdWidth().width + 4; pg.setColor(Color.white); @@ -315,7 +455,7 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene //////////////// //draw Scale pg.translate(idWidth,0); - scalePanel.scaleCanvas.drawScale(pg, startRes, endRes, pwidth-idWidth); + scalePanel.drawScale(pg, startRes, endRes, pwidth-idWidth); pg.translate(-idWidth, 30); //////////////// @@ -324,7 +464,7 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene Color currentTextColor=null; for(int i=startSeq; i