X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FAlignmentPanel.java;h=75729c330775e2b93ab5067126233e926b726e18;hb=34e7d17e5283f39efcbfdaa46de54f9d0aec1e91;hp=775e954551d1bbb6e6ea3c88fd23da18a00f6db5;hpb=79d25fa4e3ae375321d8cc29906cff5a507cbab4;p=jalview.git

diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java
index 775e954..75729c3 100755
--- a/src/jalview/gui/AlignmentPanel.java
+++ b/src/jalview/gui/AlignmentPanel.java
@@ -7,6 +7,12 @@ import jalview.datamodel.*;
 import java.awt.*;
 import java.awt.event.*;
 import java.awt.print.*;
+import java.io.*;
+import java.awt.image.*;
+import org.jibble.epsgraphics.*;
+import javax.imageio.*;
+
+
 
 public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListener, Printable
 {
@@ -15,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)
   {
@@ -26,48 +36,130 @@ 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);
 
     addComponentListener(new ComponentAdapter()
    {
-       public void componentResized(ComponentEvent evt)
+     public void componentResized(ComponentEvent evt)
      {
           RefreshPanels();
      }
    });
 
-   hscroll.setFocusable(false);
-   vscroll.setFocusable(false);
    setFocusable(true);
-
    addKeyListener(new KeyAdapter()
    {
      public void keyPressed(KeyEvent evt)
      {
-       if(evt.getKeyCode()==27)
+       switch(evt.getKeyCode())
        {
-         av.setRubberbandGroup(null);
-         RefreshPanels();
+         case  27: // escape key
+           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:
+          alignFrame.moveSelectedSequences(false);
+          break;
+        case KeyEvent.VK_UP:
+          alignFrame.moveSelectedSequences(true);
+          break;
+        case KeyEvent.VK_F:
+         if(evt.isControlDown())
+          alignFrame.findMenuItem_actionPerformed(null);
+          break;
        }
      }
    });
+  }
 
+  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++;
+       }
+
+       return new Dimension(idWidth, 12);
   }
 
+
  public void highlightSearchResults(int [] results)
  {
    seqPanel.seqCanvas.highlightSearchResults( results );
@@ -94,31 +186,30 @@ 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();
@@ -149,41 +240,88 @@ 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.getWidth() / av.charWidth) + 1;
+      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;
@@ -200,14 +338,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)
     {
@@ -222,14 +359,6 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
       if (av.getWrapAlignment())
       {
         av.setStartRes( vscroll.getValue() * av.getChunkWidth());
-        // System.out.println(vscroll.getValue()+" "+ av.getChunkWidth());
-      //  int resSpan = av.alignment.getWidth()/ (seqPanel.seqCanvas.getWidth()/av.charWidth)+1;
-     //   int h  = (av.alignment.getHeight() + 2)*av.charHeight;
-      //  vextent = seqPanel.seqCanvas.getHeight()/h;
-     //   vscroll.setValues(0,vextent,0,max);
-
-
-      // av.setStartSeq(  );
       }
       else
       {
@@ -242,24 +371,37 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
     if(overviewPanel!=null)
       overviewPanel.setBoxPosition();
 
-    seqPanel.seqCanvas.paintFlag=true;
-    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
   {
-    if(av.getWrapAlignment())
-    {
-     return PrintWrappedAlignment(pg, pf, pi);
-    }
-
     pg.translate((int)pf.getImageableX(), (int)pf.getImageableY());
 
-    int pwidth = (int)pf.getImageableWidth();
-    int pheight = (int)pf.getImageableHeight();
-    int idWidth = (int)idPanel.idCanvas.getLabelWidth().getWidth();
+    int pwidth = (int) pf.getImageableWidth();
+    int pheight = (int) pf.getImageableHeight();
+
+    if (av.getWrapAlignment())
+      return printWrappedAlignment(pg, pwidth,pheight, pi);
+    else
+      return printUnwrapped(pg,pwidth, pheight,pi);
+  }
+
+  public int printUnwrapped(Graphics pg, int pwidth, int pheight, int pi) throws PrinterException
+  {
+
+    int idWidth = calculateIdWidth().width + 4;
 
 
     pg.setColor(Color.white);
@@ -293,7 +435,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);
     ////////////////
@@ -302,7 +444,7 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
     Color currentTextColor=null;
     for(int i=startSeq; i<endSeq; i++)
     {
-      if (av.getSelection().contains(av.getAlignment().getSequenceAt(i)))
+      if (av.getSelectionGroup()!=null && av.getSelectionGroup().sequences.contains(av.getAlignment().getSequenceAt(i)))
       {
         currentColor = Color.gray;
         currentTextColor = Color.black;
@@ -320,46 +462,40 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
 
       pg.setColor(currentTextColor);
 
-      String string = av.getAlignment().getSequenceAt(i).getDisplayId();
+      String string = av.getAlignment().getSequenceAt(i).getName();
+      if(av.getShowFullId())
+        string = av.getAlignment().getSequenceAt(i).getDisplayId();
+
       pg.drawString(string, 0,  jalview.analysis.AlignmentUtil.getPixelHeight
                     (startSeq, i, av.getCharHeight()) + av.getCharHeight() - (av.getCharHeight() / 5));
     }
 
     // draw main sequence panel
     pg.translate(idWidth,0);
-    pg.setClip(0,0,pwidth-idWidth, pheight);
     seqPanel.seqCanvas.drawPanel(pg,startRes,endRes,startSeq,endSeq,startRes,startSeq,0);
 
-    return Printable.PAGE_EXISTS;
-  }
 
-  class VPanel extends javax.swing.JPanel
-  {
-    Image image;
-    public VPanel(Image i)
-    {
-      image = i;
-      repaint();
-    }
-    public void paintComponent(Graphics g)
-    {
-      if(image!=null)
-        g.drawImage(image,0,0,this);
-    }
+    if(av.getShowAnnotation())
+      {
+        pg.translate(-idWidth,(endSeq-startSeq)*av.charHeight);
+        alabels.drawComponent((Graphics2D)pg);
+        pg.translate(idWidth,0);
+        annotationPanel.drawComponent((Graphics2D) pg, startRes, endRes+1);
+      }
 
+    return Printable.PAGE_EXISTS;
   }
 
-  public int PrintWrappedAlignment(Graphics pg, PageFormat pf, int pi)
+
+  public int printWrappedAlignment(Graphics pg, int pwidth, int pheight, int pi) throws PrinterException
   {
-    pg.translate((int)pf.getImageableX(), (int)pf.getImageableY());
 
-    int pwidth = (int)pf.getImageableWidth();
-    int pheight = (int)pf.getImageableHeight();
-    int idWidth = (int)idPanel.idCanvas.getLabelWidth().getWidth();
+    int idWidth = calculateIdWidth().width+4;
 
     if( seqPanel.seqCanvas.getWidth() < pwidth-idWidth)
       pwidth = seqPanel.seqCanvas.getWidth() + idWidth;
 
+
     pg.setColor(Color.white);
     pg.fillRect(0,0,pwidth, pheight);
     pg.setFont( av.getFont() );
@@ -372,7 +508,7 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
     int chunkWidth  =   (pwidth-idWidth)/av.charWidth;
 
     int noChunksOnPage = pheight / chunkHeight;
-    int totalChunks = endy / chunkHeight;
+    int totalChunks = da.getWidth() / chunkWidth;
 
     if ( pi*noChunksOnPage > totalChunks )
      return Printable.NO_SUCH_PAGE;
@@ -390,7 +526,11 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
       for (int i = 0; i < endy; i++)
       {
         SequenceI s = da.getSequenceAt(i);
-        pg.drawString(s.getDisplayId(), 0,
+        String string = s.getName();
+        if (av.getShowFullId())
+          string = s.getDisplayId();
+
+        pg.drawString(string, 0,
                       AlignmentUtil.getPixelHeight(0, i, av.charHeight) + ypos +
                       av.charHeight - (av.charHeight / 5));
       }
@@ -401,10 +541,111 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
     seqPanel.seqCanvas.drawWrappedPanel(pg, pwidth-idWidth, pheight, pi*noChunksOnPage*chunkWidth);
 
 
-    return Printable.NO_SUCH_PAGE;//.PAGE_EXISTS;
+    return Printable.PAGE_EXISTS;
+
+  }
+
+
+  public void makeEPS()
+  {
+    int height = (av.alignment.getWidth() / av.getChunkWidth() +1) * av.chunkHeight;
+    int width = seqPanel.getWidth() + idPanel.getWidth();
+
+    if (!av.getWrapAlignment())
+    {
+      height = (av.alignment.getHeight()+1) * av.charHeight + 30;
+      width = idPanel.getWidth() + av.alignment.getWidth() * av.charWidth;
+    }
+    if(av.getShowAnnotation())
+   {
+     height += annotationPanel.getPreferredSize().height;
+   }
+
+    try
+    {
+      jalview.io.JalviewFileChooser chooser = new jalview.io.JalviewFileChooser(jalview.bin.Cache.getProperty(
+          "LAST_DIRECTORY"), new String[]{"eps"}, "Encapsulated Postscript");
+      chooser.setFileView(new jalview.io.JalviewFileView());
+      chooser.setDialogTitle("Create EPS file from alignment");
+      chooser.setToolTipText("Save");
+
+      int value = chooser.showSaveDialog(this);
+      if (value != jalview.io.JalviewFileChooser.APPROVE_OPTION)
+        return;
+
+      jalview.bin.Cache.setProperty("LAST_DIRECTORY",chooser.getSelectedFile().getPath());
+      FileOutputStream out = new FileOutputStream(chooser.getSelectedFile());
+      EpsGraphics2D pg = new EpsGraphics2D("Example", out, 0, 0, width, height);
+
+        if (av.getWrapAlignment())
+          printWrappedAlignment(pg, width, height, 0);
+        else
+          printUnwrapped(pg, width, height, 0);
+
+
+        pg.flush();
+        pg.close();
+    }
+    catch (Exception ex)
+    {
+      ex.printStackTrace();
+    }
+  }
+
+  public void makePNG()
+  {
+      int height = (av.alignment.getWidth() / av.getChunkWidth() +1) * av.chunkHeight;
+      int width = seqPanel.getWidth() + idPanel.getWidth();
+
+      if (!av.getWrapAlignment())
+      {
+        height = (av.alignment.getHeight()+1) * av.charHeight + 30;
+        width = idPanel.getWidth() + av.alignment.getWidth() * av.charWidth;
+      }
+
+      if(av.getShowAnnotation())
+      {
+        height += annotationPanel.getPreferredSize().height;
+      }
+
+
+System.out.println(width +" "+height);
+
+    try
+    {
+      jalview.io.JalviewFileChooser chooser = new jalview.io.JalviewFileChooser(jalview.bin.Cache.getProperty(
+          "LAST_DIRECTORY"), new String[]{"png"}, "Portable network graphics");
+      chooser.setFileView(new jalview.io.JalviewFileView());
+      chooser.setDialogTitle("Create EPS file from alignment");
+      chooser.setToolTipText("Save");
+
+      int value = chooser.showSaveDialog(this);
+      if (value != jalview.io.JalviewFileChooser.APPROVE_OPTION)
+        return;
 
+      jalview.bin.Cache.setProperty("LAST_DIRECTORY",chooser.getSelectedFile().getPath());
+      FileOutputStream out = new FileOutputStream(chooser.getSelectedFile());
+
+      BufferedImage bi = new BufferedImage(width, height, BufferedImage.TYPE_INT_RGB);
+      Graphics png = bi.getGraphics();
+
+
+        if (av.getWrapAlignment())
+          printWrappedAlignment(png, width, height, 0);
+        else
+          printUnwrapped(png, width, height, 0);
+
+        ImageIO.write(bi, "png", out);
+        out.close();
+    }
+    catch (Exception ex)
+    {
+      ex.printStackTrace();
+    }
   }
+
 }
 
 
 
+