Better treatment of error states and cancellability in wsclient.
[jalview.git] / src / jalview / gui / AlignmentPanel.java
index a6ebc6d..a8b80d2 100755 (executable)
@@ -11,6 +11,7 @@ import java.io.*;
 import java.awt.image.*;\r
 import org.jibble.epsgraphics.*;\r
 import javax.imageio.*;\r
+import javax.swing.*;\r
 \r
 \r
 \r
@@ -51,40 +52,16 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
     annotationScroller.setViewportView(annotationPanel);\r
     annotationSpaceFillerHolder.add(alabels, BorderLayout.CENTER);\r
 \r
-    Dimension d = calculateIdWidth();\r
-    d.setSize( d.width+4, d.height);\r
-    idPanel.idCanvas.setPreferredSize( d );\r
-    hscrollFillerPanel.setPreferredSize( d );\r
+    fontChanged();\r
 \r
     scalePanelHolder.add(scalePanel, BorderLayout.CENTER);\r
     seqPanelHolder.add(seqPanel, BorderLayout.CENTER);\r
 \r
-\r
-    if(seqPanel.seqCanvas.getWidth()==0)\r
-    javax.swing.SwingUtilities.invokeLater(new Runnable()\r
-     {\r
-       public void run()\r
-       {\r
-         setScrollValues(0,0);\r
-         Dimension d = calculateIdWidth();\r
-         d.setSize( d.width+4, d.height);\r
-         idPanel.idCanvas.setPreferredSize( d );\r
-         RefreshPanels();\r
-       }\r
-    });\r
-\r
+    setScrollValues(0, 0);\r
 \r
     hscroll.addAdjustmentListener(this);\r
     vscroll.addAdjustmentListener(this);\r
 \r
-    addComponentListener(new ComponentAdapter()\r
-   {\r
-     public void componentResized(ComponentEvent evt)\r
-     {\r
-          RefreshPanels();\r
-     }\r
-   });\r
-\r
    setFocusable(true);\r
    addKeyListener(new KeyAdapter()\r
    {\r
@@ -94,7 +71,7 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
        {\r
          case  27: // escape key\r
            av.setSelectionGroup(null);\r
-           RefreshPanels();\r
+           repaint();\r
            break;\r
          case KeyEvent.VK_X:\r
            if(evt.isControlDown())\r
@@ -127,6 +104,25 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
    });\r
   }\r
 \r
+  public void fontChanged()\r
+  {\r
+    // set idCanvas bufferedImage to null\r
+    // to prevent drawing old image\r
+    FontMetrics fm = getFontMetrics(av.getFont());\r
+\r
+    scalePanelHolder.setPreferredSize(new Dimension(10, av.charHeight+fm.getDescent()));\r
+    idSpaceFillerPanel1.setPreferredSize(new Dimension(10, av.charHeight+fm.getDescent()));\r
+\r
+    idPanel.idCanvas.gg = null;\r
+    annotationPanel.adjustPanelHeight();\r
+    Dimension d = calculateIdWidth();\r
+    d.setSize(d.width + 4, d.height);\r
+    idPanel.idCanvas.setPreferredSize(d);\r
+    hscrollFillerPanel.setPreferredSize(d);\r
+    repaint();\r
+  }\r
+\r
+\r
   Dimension calculateIdWidth()\r
   {\r
     Graphics g = this.getGraphics();\r
@@ -204,14 +200,6 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
   {\r
     annotationSpaceFillerHolder.setVisible(b);\r
     annotationScroller.setVisible(b);\r
-    javax.swing.SwingUtilities.invokeLater(new Runnable()\r
-     {\r
-       public void run()\r
-       {\r
-         RefreshPanels();\r
-       }\r
-    });\r
-\r
   }\r
 \r
 \r
@@ -225,13 +213,8 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
     annotationScroller.setVisible(!wrap);\r
     annotationSpaceFillerHolder.setVisible(!wrap);\r
     idSpaceFillerPanel1.setVisible(!wrap);\r
-    javax.swing.SwingUtilities.invokeLater(new Runnable()\r
-     {\r
-       public void run()\r
-       {\r
-         RefreshPanels();\r
-       }\r
-    });\r
+\r
+    repaint();\r
 \r
   }\r
 \r
@@ -249,42 +232,17 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
                             al.getWidth() );\r
 \r
        c.calculate();\r
-       c.verdict(false, 100);\r
+       c.verdict(false, av.ConsPercGaps);\r
        ConservationColourScheme ccs = new ConservationColourScheme(c, cs);\r
 \r
        av.setGlobalColourScheme( ccs );\r
 \r
     }\r
 \r
-    RefreshPanels();\r
-  }\r
-\r
-\r
-  public void RefreshPanels()\r
-  {\r
-    requestFocus();\r
-    invalidate();\r
-\r
-    Dimension d = idPanel.idCanvas.getPreferredSize();\r
-    idPanelHolder.setPreferredSize(d);\r
-    hscrollFillerPanel.setPreferredSize(new Dimension(d.width, 12));\r
-\r
-    if (av.getWrapAlignment())\r
-    {\r
-      int max = av.alignment.getWidth() / seqPanel.seqCanvas.getWrappedCanvasWidth(seqPanel.seqCanvas.getWidth());\r
-      vscroll.setValues(0, 1, 0, max);\r
-    }\r
-    else\r
-    {\r
-      if (overviewPanel != null)\r
-        overviewPanel.updateOverviewImage();\r
-      setScrollValues(av.getStartRes(), av.getStartSeq());\r
-    }\r
-\r
-    validate();\r
     repaint();\r
   }\r
 \r
+\r
   int hextent = 0;\r
   int vextent = 0;\r
 \r
@@ -333,6 +291,8 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
 \r
   public void setScrollValues(int x, int y)\r
   {\r
+    av.setEndRes(x + seqPanel.seqCanvas.getWidth()/av.getCharWidth()-1);\r
+\r
     hextent = seqPanel.seqCanvas.getWidth()/av.charWidth;\r
     vextent = seqPanel.seqCanvas.getHeight()/av.charHeight;\r
 \r
@@ -356,6 +316,8 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
     hscroll.setValues(x,hextent,0,av.getAlignment().getWidth());\r
     vscroll.setValues(y,vextent,0,av.getAlignment().getHeight() );\r
 \r
+\r
+\r
   }\r
 \r
 \r
@@ -387,7 +349,6 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
       }\r
     }\r
 \r
-\r
     if(overviewPanel!=null)\r
       overviewPanel.setBoxPosition();\r
 \r
@@ -395,9 +356,10 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
       repaint();\r
     else\r
     {\r
+      idPanel.idCanvas.fastPaint(av.getStartSeq() - oldY);\r
       seqPanel.seqCanvas.fastPaint(av.getStartRes() - oldX,\r
                                    av.getStartSeq() - oldY);\r
-      idPanel.idCanvas.fastPaint(av.getStartSeq() - oldY);\r
+\r
       scalePanel.repaint();\r
       if (av.getShowAnnotation())\r
         annotationPanel.fastPaint(av.getStartRes() - oldX);\r
@@ -405,6 +367,31 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
 \r
   }\r
 \r
+\r
+  public void paintComponent(Graphics g)\r
+  {\r
+    invalidate();\r
+    Dimension d = idPanel.idCanvas.getPreferredSize();\r
+    idPanelHolder.setPreferredSize(d);\r
+    hscrollFillerPanel.setPreferredSize(new Dimension(d.width, 12));\r
+    validate();\r
+\r
+    if (av.getWrapAlignment())\r
+    {\r
+      int max = av.alignment.getWidth() / seqPanel.seqCanvas.getWrappedCanvasWidth(seqPanel.seqCanvas.getWidth());\r
+      vscroll.setMaximum(max);\r
+      vscroll.setUnitIncrement(1);\r
+      vscroll.setVisibleAmount(1);\r
+    }\r
+    else\r
+    {\r
+      setScrollValues(av.getStartRes(), av.getStartSeq());\r
+    }\r
+\r
+\r
+\r
+  }\r
+\r
   public int print(Graphics pg, PageFormat pf, int pi) throws PrinterException\r
   {\r
     pg.translate((int)pf.getImageableX(), (int)pf.getImageableY());\r
@@ -421,149 +408,159 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
   public int printUnwrapped(Graphics pg, int pwidth, int pheight, int pi) throws PrinterException\r
   {\r
 \r
-    int idWidth = calculateIdWidth().width + 4;\r
+      int idWidth = calculateIdWidth().width + 4;\r
+      FontMetrics fm = getFontMetrics(av.getFont());\r
+      int scaleHeight = av.charHeight + fm.getDescent();\r
 \r
+      pg.setColor(Color.white);\r
+      pg.fillRect(0, 0, pwidth, pheight);\r
+      pg.setFont(av.getFont());\r
 \r
-    pg.setColor(Color.white);\r
-    pg.fillRect(0,0,pwidth, pheight);\r
-    pg.setFont( av.getFont() );\r
+      ////////////////////////////////////\r
+      /// How many sequences and residues can we fit on a printable page?\r
+      int totalRes = (pwidth - idWidth) / av.getCharWidth();\r
 \r
-    ////////////////////////////////////\r
-    /// How many sequences and residues can we fit on a printable page?\r
-    int totalRes = (pwidth - idWidth)/av.getCharWidth();\r
-    int totalSeq = (int)((pheight - 30)/av.getCharHeight())-1;\r
-    int pagesWide = av.getAlignment().getWidth() / totalRes +1;\r
-    int pagesHigh = av.getAlignment().getHeight() / totalSeq +1;\r
+      int totalSeq = (int) ( (pheight - scaleHeight) / av.getCharHeight()) - 1;\r
 \r
-    if (pi >= pagesWide*pagesHigh)\r
-     return Printable.NO_SUCH_PAGE;\r
+      int pagesWide = av.getAlignment().getWidth() / totalRes + 1;\r
 \r
-    /////////////////////////////\r
-    /// Only print these sequences and residues on this page\r
-    int startRes, endRes, startSeq, endSeq;\r
-    startRes = (pi % pagesWide) * totalRes;\r
-    endRes = startRes + totalRes-1;\r
-    if(endRes>av.getAlignment().getWidth())\r
-      endRes = av.getAlignment().getWidth();\r
+      /////////////////////////////\r
+      /// Only print these sequences and residues on this page\r
+      int startRes, endRes, startSeq, endSeq;\r
+      startRes = (pi % pagesWide) * totalRes;\r
+      endRes = startRes + totalRes - 1;\r
+      if (endRes > av.getAlignment().getWidth()-1)\r
+        endRes = av.getAlignment().getWidth()-1;\r
 \r
-     startSeq = (pi / pagesWide) * totalSeq;\r
-     endSeq = startSeq + totalSeq;\r
-     if(endSeq > av.getAlignment().getHeight())\r
-       endSeq = av.getAlignment().getHeight();\r
+      startSeq = (pi / pagesWide) * totalSeq;\r
+      endSeq = startSeq + totalSeq;\r
+      if (endSeq > av.getAlignment().getHeight())\r
+        endSeq = av.getAlignment().getHeight();\r
 \r
+      int pagesHigh = ( (av.alignment.getHeight() / totalSeq) + 1) * pheight;\r
 \r
-    ////////////////\r
-    //draw Scale\r
-    pg.translate(idWidth,0);\r
-    scalePanel.drawScale(pg, startRes, endRes, pwidth-idWidth);\r
+      if (av.showAnnotation)\r
+        pagesHigh += annotationPanel.getHeight();\r
 \r
-    pg.translate(-idWidth, 30);\r
-    ////////////////\r
-    // Draw the ids\r
-    Color currentColor=null;\r
-    Color currentTextColor=null;\r
-    for(int i=startSeq; i<endSeq; i++)\r
-    {\r
-      if (av.getSelectionGroup()!=null && av.getSelectionGroup().sequences.contains(av.getAlignment().getSequenceAt(i)))\r
-      {\r
-        currentColor = Color.gray;\r
-        currentTextColor = Color.black;\r
-      }\r
-      else\r
+      pagesHigh /= pheight;\r
+\r
+      if (pi >= pagesWide * pagesHigh)\r
+        return Printable.NO_SUCH_PAGE;\r
+\r
+        //draw Scale\r
+      pg.translate(idWidth, 0);\r
+      scalePanel.drawScale(pg, startRes, endRes, pwidth - idWidth, scaleHeight);\r
+      pg.translate( -idWidth, scaleHeight);\r
+      ////////////////\r
+      // Draw the ids\r
+      Color currentColor = null;\r
+      Color currentTextColor = null;\r
+      for (int i = startSeq; i < endSeq; i++)\r
       {\r
-        currentColor = av.getAlignment().getSequenceAt(i).getColor();\r
-        currentTextColor = Color.black;\r
-      }\r
+        if (av.getSelectionGroup() != null &&\r
+            av.getSelectionGroup().sequences.\r
+            contains(av.getAlignment().getSequenceAt(i)))\r
+        {\r
+          currentColor = Color.gray;\r
+          currentTextColor = Color.black;\r
+        }\r
+        else\r
+        {\r
+          currentColor = av.getAlignment().getSequenceAt(i).getColor();\r
+          currentTextColor = Color.black;\r
+        }\r
 \r
-      pg.setColor(currentColor);\r
-      pg.fillRect(0,  jalview.analysis.AlignmentUtil.getPixelHeight(startSeq, i, av.getCharHeight()),\r
-                              idWidth,\r
-                              av.getCharHeight());\r
+        pg.setColor(currentColor);\r
+        pg.fillRect(0,\r
+                    jalview.analysis.AlignmentUtil.getPixelHeight(startSeq, i,\r
+            av.getCharHeight()),\r
+                    idWidth,\r
+                    av.getCharHeight());\r
 \r
-      pg.setColor(currentTextColor);\r
+        pg.setColor(currentTextColor);\r
 \r
-      String string = av.getAlignment().getSequenceAt(i).getName();\r
-      if(av.getShowFullId())\r
-        string = av.getAlignment().getSequenceAt(i).getDisplayId();\r
+        String string = av.getAlignment().getSequenceAt(i).getName();\r
+        if (av.getShowFullId())\r
+          string = av.getAlignment().getSequenceAt(i).getDisplayId();\r
 \r
-      pg.drawString(string, 0,  jalview.analysis.AlignmentUtil.getPixelHeight\r
-                    (startSeq, i, av.getCharHeight()) + av.getCharHeight() - (av.getCharHeight() / 5));\r
-    }\r
+        pg.drawString(string, 0, jalview.analysis.AlignmentUtil.getPixelHeight\r
+                      (startSeq, i, av.getCharHeight()) + av.getCharHeight() -\r
+                      (av.getCharHeight() / 5));\r
+      }\r
 \r
-    // draw main sequence panel\r
-    pg.translate(idWidth,0);\r
-    seqPanel.seqCanvas.drawPanel(pg,startRes,endRes,startSeq,endSeq,startRes,startSeq,0);\r
+      // draw main sequence panel\r
+      pg.translate(idWidth, 0);\r
+      seqPanel.seqCanvas.drawPanel(pg, startRes, endRes, startSeq, endSeq,\r
+                                   startRes, startSeq, 0);\r
 \r
 \r
-    if(av.getShowAnnotation())\r
+      if (av.showAnnotation && endSeq == av.alignment.getHeight())\r
       {\r
-        pg.translate(-idWidth,(endSeq-startSeq)*av.charHeight);\r
-        alabels.drawComponent((Graphics2D)pg);\r
-        pg.translate(idWidth,0);\r
-        annotationPanel.drawComponent((Graphics2D) pg, startRes, endRes+1);\r
+        pg.translate( -idWidth, (endSeq - startSeq) * av.charHeight);\r
+        alabels.drawComponent( (Graphics2D) pg);\r
+        pg.translate(idWidth, 0);\r
+        annotationPanel.drawComponent( (Graphics2D) pg, startRes, endRes+1);\r
       }\r
 \r
-    return Printable.PAGE_EXISTS;\r
+      return Printable.PAGE_EXISTS;\r
+\r
   }\r
 \r
 \r
   public int printWrappedAlignment(Graphics pg, int pwidth, int pheight, int pi) throws PrinterException\r
   {\r
+      int idWidth = calculateIdWidth().width + 4;\r
 \r
-    int idWidth = calculateIdWidth().width+4;\r
-\r
-    if( seqPanel.seqCanvas.getWidth() < pwidth-idWidth)\r
-      pwidth = seqPanel.seqCanvas.getWidth() + idWidth;\r
+      int resWidth = seqPanel.seqCanvas.getWrappedCanvasWidth(pwidth - idWidth);\r
+      int totalHeight = totalHeight = (av.alignment.getHeight() + 2) *\r
+          ( (av.alignment.getWidth()\r
+             / resWidth) + 1) * av.charHeight;\r
 \r
 \r
-    pg.setColor(Color.white);\r
-    pg.fillRect(0,0,pwidth, pheight);\r
-    pg.setFont( av.getFont() );\r
+      pg.setColor(Color.white);\r
+      pg.fillRect(0, 0, pwidth, pheight);\r
+      pg.setFont(av.getFont());\r
 \r
-    ////////////////////////////////////\r
-    /// How many sequences and residues can we fit on a printable page?\r
-    AlignmentI da = av.alignment;\r
-    int endy   = da.getHeight();\r
-    int chunkHeight =  (da.getHeight() + 2)*av.charHeight;\r
-    int chunkWidth  =   (pwidth-idWidth)/av.charWidth;\r
+      ////////////////\r
+      // Draw the ids\r
+      pg.setColor(Color.black);\r
 \r
-    int noChunksOnPage = pheight / chunkHeight;\r
-    int totalChunks = da.getWidth() / chunkWidth;\r
+      pg.translate(0, -pi * pheight);\r
 \r
-    if ( pi*noChunksOnPage > totalChunks )\r
-     return Printable.NO_SUCH_PAGE;\r
+      pg.setClip(0,pi*pheight,pwidth, pheight);\r
 \r
-    ////////////////\r
-    // Draw the ids\r
-    pg.setClip(0,0,pwidth, noChunksOnPage*chunkHeight);\r
+      int ypos = 2 * av.charHeight;\r
+      do\r
+      {\r
+        for (int i = 0; i < av.alignment.getHeight(); i++)\r
+        {\r
+          SequenceI s = av.alignment.getSequenceAt(i);\r
+          String string = s.getName();\r
+          if (av.getShowFullId())\r
+            string = s.getDisplayId();\r
 \r
-    pg.setColor(Color.black);\r
+          pg.drawString(string, 0,\r
+                        AlignmentUtil.getPixelHeight(0, i, av.charHeight) +\r
+                        ypos +\r
+                        av.charHeight - (av.charHeight / 5));\r
 \r
-    int rowSize =  av.getEndRes() - av.getStartRes();\r
-    // Draw the rest of the panels\r
+        }\r
 \r
-    for(int ypos=2*av.charHeight, row=av.getEndRes(); row<av.alignment.getWidth();\r
-        ypos += av.chunkHeight, row+=rowSize )\r
-    {\r
-      for (int i = 0; i < endy; i++)\r
-      {\r
-        SequenceI s = da.getSequenceAt(i);\r
-        String string = s.getName();\r
-        if (av.getShowFullId())\r
-          string = s.getDisplayId();\r
+        ypos += (av.alignment.getHeight() + 2) * av.charHeight;\r
 \r
-        pg.drawString(string, 0,\r
-                      AlignmentUtil.getPixelHeight(0, i, av.charHeight) + ypos +\r
-                      av.charHeight - (av.charHeight / 5));\r
       }\r
-    }\r
+      while (ypos < totalHeight);\r
 \r
-    // draw main sequence panel\r
-    pg.translate(idWidth,0);\r
-    seqPanel.seqCanvas.drawWrappedPanel(pg, pwidth-idWidth, pheight, pi*noChunksOnPage*chunkWidth);\r
+      pg.translate(idWidth, 0);\r
+\r
+      seqPanel.seqCanvas.drawWrappedPanel(pg, pwidth - idWidth, totalHeight, 0);\r
+\r
+      if (pi * pheight < totalHeight)\r
+        return Printable.PAGE_EXISTS;\r
+      else\r
+        return Printable.NO_SUCH_PAGE;\r
 \r
 \r
-    return Printable.PAGE_EXISTS;\r
 \r
   }\r
 \r
@@ -631,7 +628,6 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
       }\r
 \r
 \r
-System.out.println(width +" "+height);\r
 \r
     try\r
     {\r
@@ -649,8 +645,9 @@ System.out.println(width +" "+height);
       FileOutputStream out = new FileOutputStream(chooser.getSelectedFile());\r
 \r
       BufferedImage bi = new BufferedImage(width, height, BufferedImage.TYPE_INT_RGB);\r
-      Graphics png = bi.getGraphics();\r
+      Graphics2D png = (Graphics2D)bi.getGraphics();\r
 \r
+      png.setRenderingHint(RenderingHints.KEY_ANTIALIASING,RenderingHints.VALUE_ANTIALIAS_ON);\r
 \r
         if (av.getWrapAlignment())\r
           printWrappedAlignment(png, width, height, 0);\r
@@ -668,6 +665,37 @@ System.out.println(width +" "+height);
 \r
 }\r
 \r
+class Preview extends JFrame\r
+{\r
+\r
+  public Preview(Image image)\r
+  {\r
+    setResizable(true);\r
+    setSize(image.getWidth(this), image.getHeight(this));\r
+    setVisible(true);\r
+    getContentPane().setLayout(new BorderLayout());\r
+    getContentPane().add(new PreviewPanel(image), BorderLayout.CENTER);\r
+    validate();\r
+    repaint();\r
+  }\r
+}\r
+\r
+class PreviewPanel extends JPanel\r
+{\r
+  Image image;\r
+  public PreviewPanel(Image image)\r
+  {\r
+    this.image = image;\r
+  }\r
+  public void paintComponent(Graphics g)\r
+  {\r
+    if(image!=null)\r
+      g.drawImage(image,0,0,this);\r
+    else\r
+      System.out.println("image is null");\r
+  }\r
+}\r
+\r
 \r
 \r
 \r