use fontchooser to change fonts
[jalview.git] / src / jalview / gui / ScalePanel.java
index e49eb17..486b87a 100755 (executable)
+/*\r
+ * Jalview - A Sequence Alignment Editor and Viewer\r
+ * Copyright (C) 2005 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle\r
+ *\r
+ * This program is free software; you can redistribute it and/or\r
+ * modify it under the terms of the GNU General Public License\r
+ * as published by the Free Software Foundation; either version 2\r
+ * of the License, or (at your option) any later version.\r
+ *\r
+ * This program is distributed in the hope that it will be useful,\r
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of\r
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the\r
+ * GNU General Public License for more details.\r
+ *\r
+ * You should have received a copy of the GNU General Public License\r
+ * along with this program; if not, write to the Free Software\r
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA\r
+ */\r
 package jalview.gui;\r
 \r
 import jalview.datamodel.*;\r
+\r
 import java.awt.*;\r
 import java.awt.event.*;\r
+\r
 import javax.swing.*;\r
 \r
+\r
+/**\r
+ * DOCUMENT ME!\r
+ *\r
+ * @author $author$\r
+ * @version $Revision$\r
+ */\r
 public class ScalePanel extends JPanel\r
 {\r
-\r
-  protected int offy = 4;\r
-  public    int width;\r
-\r
-  protected AlignViewport av;\r
-  AlignmentPanel ap;\r
-\r
-  boolean stretchingGroup = false;\r
-\r
-  public ScalePanel(AlignViewport av, AlignmentPanel ap)\r
-  {\r
-    this.av         = av;\r
-    this.ap = ap;\r
-\r
-    addMouseListener(new MouseAdapter()\r
-    {\r
-      public void mousePressed(MouseEvent evt)\r
-      {\r
-        doMousePressed(evt);\r
-      }\r
-      public void mouseReleased(MouseEvent evt)\r
-      {\r
-        doMouseReleased(evt);\r
-      }\r
-\r
-    });\r
-    addMouseMotionListener(new MouseMotionAdapter()\r
+    protected int offy = 4;\r
+\r
+    /** DOCUMENT ME!! */\r
+    public int width;\r
+    protected AlignViewport av;\r
+    AlignmentPanel ap;\r
+    boolean stretchingGroup = false;\r
+    int min; //used by mouseDragged to see if user\r
+    int max; //used by mouseDragged to see if user\r
+\r
+    // wants to delete columns\r
+    public ScalePanel(AlignViewport av, AlignmentPanel ap)\r
     {\r
-      public void mouseDragged(MouseEvent evt)\r
-      {\r
-        doMouseDragged(evt);\r
-      }\r
-    });\r
-\r
-  }\r
-\r
-\r
-  public void doMousePressed(MouseEvent evt) {\r
-    int x = evt.getX();\r
-    int res = x/av.getCharWidth() + av.getStartRes();\r
-    SequenceGroup sg = null;\r
+        this.av = av;\r
+        this.ap = ap;\r
+\r
+        addMouseListener(new MouseAdapter()\r
+            {\r
+                public void mousePressed(MouseEvent evt)\r
+                {\r
+                    doMousePressed(evt);\r
+                }\r
+\r
+                public void mouseReleased(MouseEvent evt)\r
+                {\r
+                    doMouseReleased(evt);\r
+                }\r
+            });\r
+        addMouseMotionListener(new MouseMotionAdapter()\r
+            {\r
+                public void mouseDragged(MouseEvent evt)\r
+                {\r
+                    doMouseDragged(evt);\r
+                }\r
+            });\r
+    }\r
 \r
-    if (av.getColumnSelection().contains(res))\r
-      av.getColumnSelection().removeElement(res);\r
-    else\r
+    /**\r
+     * DOCUMENT ME!\r
+     *\r
+     * @param evt DOCUMENT ME!\r
+     */\r
+    public void doMousePressed(MouseEvent evt)\r
     {\r
-      av.getColumnSelection().addElement(res);\r
-\r
-      sg = new SequenceGroup();\r
-      for (int i = 0; i < av.alignment.getSequences().size(); i++)\r
-        sg.addSequence(av.alignment.getSequenceAt(i));\r
-\r
-      sg.setStartRes(res);\r
-      sg.setEndRes(res);\r
-\r
-      ap.annotationPanel.addEditableColumn(res);\r
+        int x = evt.getX();\r
+        int res = (x / av.getCharWidth()) + av.getStartRes();\r
+        SequenceGroup sg = null;\r
+\r
+        min = res;\r
+        max = res;\r
+\r
+        if (av.getColumnSelection().contains(res))\r
+        {\r
+            av.getColumnSelection().removeElement(res);\r
+            ap.annotationPanel.removeEditableColumn(res);\r
+        }\r
+        else\r
+        {\r
+            av.getColumnSelection().addElement(res);\r
+            sg = new SequenceGroup();\r
+\r
+            for (int i = 0; i < av.alignment.getSequences().size(); i++)\r
+            {\r
+                sg.addSequence(av.alignment.getSequenceAt(i), false);\r
+            }\r
+\r
+            sg.setStartRes(res);\r
+            sg.setEndRes(res);\r
+        }\r
+\r
+        av.setSelectionGroup(sg);\r
+        ap.repaint();\r
     }\r
-    av.setSelectionGroup(sg);\r
-    ap.repaint();\r
-  }\r
-\r
-  public void doMouseReleased(MouseEvent evt)\r
-  {\r
-    if(!stretchingGroup)\r
-      return;\r
-\r
-    int x = evt.getX();\r
-    int res = x/av.getCharWidth() + av.getStartRes();\r
-\r
-   if (! av.getColumnSelection().contains(res))\r
-     av.getColumnSelection().addElement(res);\r
-\r
-   SequenceGroup sg = av.getSelectionGroup();\r
-\r
-   if(res>sg.getStartRes())\r
-     sg.setEndRes(res);\r
-   else if(res<sg.getStartRes())\r
-     sg.setStartRes(res);\r
 \r
-   stretchingGroup = false;\r
-   ap.repaint();\r
-  }\r
-\r
-  public void doMouseDragged(MouseEvent evt)\r
-  {\r
-    int x = evt.getX();\r
-    int res = x/av.getCharWidth() + av.getStartRes();\r
-\r
-    SequenceGroup sg = av.getSelectionGroup();\r
-    if(sg!=null)\r
+    /**\r
+     * DOCUMENT ME!\r
+     *\r
+     * @param evt DOCUMENT ME!\r
+     */\r
+    public void doMouseReleased(MouseEvent evt)\r
     {\r
-      stretchingGroup = true;\r
-      if (res > sg.getStartRes())\r
-        sg.setEndRes(res);\r
-      else if (res < sg.getStartRes())\r
-        sg.setStartRes(res);\r
-\r
-       ap.annotationPanel.addEditableColumn(res);\r
-      ap.repaint();\r
+        int x = evt.getX();\r
+        int res = (x / av.getCharWidth()) + av.getStartRes();\r
+\r
+        if (av.getColumnSelection() != null)\r
+        {\r
+            for (int i = 0; i < av.getColumnSelection().size(); i++)\r
+            {\r
+                ap.annotationPanel.addEditableColumn(av.getColumnSelection()\r
+                                                       .columnAt(i));\r
+            }\r
+        }\r
+\r
+        if (!stretchingGroup)\r
+        {\r
+            ap.repaint();\r
+\r
+            return;\r
+        }\r
+\r
+        SequenceGroup sg = av.getSelectionGroup();\r
+\r
+        if (res > sg.getStartRes())\r
+        {\r
+            sg.setEndRes(res);\r
+        }\r
+        else if (res < sg.getStartRes())\r
+        {\r
+            sg.setStartRes(res);\r
+        }\r
+\r
+        stretchingGroup = false;\r
+        ap.repaint();\r
     }\r
-  }\r
-\r
-  public void paintComponent(Graphics g)\r
-  {\r
-    drawScale(g, av.getStartRes(), av.getEndRes(), getWidth());\r
-  }\r
-\r
-// scalewidth will normally be screenwidth,\r
-  public void drawScale(Graphics g, int startx, int endx, int scaleWidth)\r
-  {\r
-    Graphics2D gg = (Graphics2D)g;\r
-    gg.setRenderingHint(RenderingHints.KEY_ANTIALIASING,RenderingHints.VALUE_ANTIALIAS_ON);\r
-    int charWidth  = av.getCharWidth();\r
-\r
-    gg.setFont(av.getFont());\r
-\r
-    //Fill in the background\r
 \r
-    gg.setColor(Color.white);\r
-    gg.fillRect(0,0,scaleWidth, getHeight());\r
-\r
-    int resWidth = endx - startx + 1;\r
-\r
-    // We want roughly one tick every 50 pixels\r
-\r
-    double rough = scaleWidth/50.0;\r
-\r
-    double roughtick = resWidth/rough;\r
-\r
-    int   digits  = (int)(Math.log(roughtick)/Math.log(10));\r
-    int   num     = (int)(roughtick/Math.pow(10,digits));\r
-\r
-    if (roughtick>5)\r
-        num = 10;\r
-    else\r
-        num = 5;\r
-\r
-  //   else\r
-  //  num = 2;\r
-\r
-  //  System.out.println("Dig " + digits + " " + rough + " " + roughtick + " " + getWidth() + " " + num);\r
-\r
-    int space = (int)(num * Math.pow(10,digits));\r
-\r
-    //Set the text font\r
-\r
-    gg.setColor(Color.black);\r
-\r
-\r
-    int scalestartx = 0;\r
-    if(space>0)\r
-      scalestartx = startx - startx%space + space;\r
-\r
-\r
-    //Fill the selected columns\r
-    ColumnSelection cs = av.getColumnSelection();\r
-    int width = charWidth;\r
-    if (width == 0)\r
-      width = 1;\r
-\r
-    gg.setColor(new Color(220,0,0));\r
-    for (int i=0; i<cs.size(); i++) {\r
-      int sel  = cs.columnAt(i);\r
-      //      System.out.println("Selection = " + sel);\r
-      if ( sel >= startx  && sel <= endx) {\r
-\r
-        gg.fillRect((sel-startx)*charWidth,0,width,getHeight());\r
-      }\r
+    /**\r
+     * DOCUMENT ME!\r
+     *\r
+     * @param evt DOCUMENT ME!\r
+     */\r
+    public void doMouseDragged(MouseEvent evt)\r
+    {\r
+        int x = evt.getX();\r
+        int res = (x / av.getCharWidth()) + av.getStartRes();\r
+\r
+        if (res < min)\r
+        {\r
+            min = res;\r
+        }\r
+\r
+        if (res > max)\r
+        {\r
+            max = res;\r
+        }\r
+\r
+        SequenceGroup sg = av.getSelectionGroup();\r
+\r
+        if (sg != null)\r
+        {\r
+            stretchingGroup = true;\r
+\r
+            if (!av.getColumnSelection().contains(res))\r
+            {\r
+                av.getColumnSelection().addElement(res);\r
+            }\r
+\r
+            if (res > sg.getStartRes())\r
+            {\r
+                sg.setEndRes(res);\r
+            }\r
+            else if (res < sg.getStartRes())\r
+            {\r
+                sg.setStartRes(res);\r
+            }\r
+\r
+            for (int i = min; i <= max; i++)\r
+            {\r
+                if ((i < sg.getStartRes()) || (i > sg.getEndRes()))\r
+                {\r
+                    av.getColumnSelection().removeElement(i);\r
+                    ap.annotationPanel.removeEditableColumn(res);\r
+                }\r
+                else\r
+                {\r
+                    av.getColumnSelection().addElement(i);\r
+                }\r
+            }\r
+\r
+            ap.repaint();\r
+        }\r
     }\r
 \r
-    // Draw the scale numbers\r
-    gg.setColor(Color.black);\r
-\r
-\r
-    for (int i=scalestartx;i < endx;i+= space) {\r
-\r
-      String string = String.valueOf(i);\r
-\r
-      gg.drawString(string,(i-startx-1)*charWidth,  av.charHeight / 2 +offy);\r
-      gg.drawLine( (int)((i-startx-1)*charWidth +charWidth/2), av.charHeight/2 +offy +2, (int)((i-startx-1)*charWidth +charWidth/2),av.charHeight/2 +offy+7);\r
-\r
+    /**\r
+     * DOCUMENT ME!\r
+     *\r
+     * @param g DOCUMENT ME!\r
+     */\r
+    public void paintComponent(Graphics g)\r
+    {\r
+        drawScale(g, av.getStartRes(), av.getEndRes(), getWidth(), getHeight());\r
     }\r
-  }\r
-\r
 \r
+    // scalewidth will normally be screenwidth,\r
+    public void drawScale(Graphics g, int startx, int endx, int width,\r
+        int height)\r
+    {\r
+        Graphics2D gg = (Graphics2D) g;\r
+        gg.setFont(av.getFont());\r
+        gg.setRenderingHint(RenderingHints.KEY_ANTIALIASING,\r
+            RenderingHints.VALUE_ANTIALIAS_ON);\r
+\r
+        //Fill in the background\r
+        gg.setColor(Color.white);\r
+        gg.fillRect(0, 0, width, height);\r
+        gg.setColor(Color.black);\r
+\r
+        //Fill the selected columns\r
+        ColumnSelection cs = av.getColumnSelection();\r
+        gg.setColor(new Color(220, 0, 0));\r
+\r
+        for (int i = 0; i < cs.size(); i++)\r
+        {\r
+            int sel = cs.columnAt(i);\r
+\r
+            if ((sel >= startx) && (sel <= endx))\r
+            {\r
+                gg.fillRect((sel - startx) * av.charWidth, 0, av.charWidth,\r
+                    getHeight());\r
+            }\r
+        }\r
+\r
+        // Draw the scale numbers\r
+        gg.setColor(Color.black);\r
+\r
+        int scalestartx = (startx / 10) * 10;\r
+\r
+        FontMetrics fm = gg.getFontMetrics(av.getFont());\r
+        int y = av.charHeight - fm.getDescent();\r
+\r
+        if ((scalestartx % 10) == 0)\r
+        {\r
+            scalestartx += 5;\r
+        }\r
+\r
+        for (int i = scalestartx; i < endx; i += 5)\r
+        {\r
+            if ((i % 10) == 0)\r
+            {\r
+                gg.drawString(String.valueOf(i),\r
+                    (i - startx - 1) * av.charWidth, y);\r
+                gg.drawLine((int) (((i - startx - 1) * av.charWidth) +\r
+                    (av.charWidth / 2)), y + 2,\r
+                    (int) (((i - startx - 1) * av.charWidth) +\r
+                    (av.charWidth / 2)), y + (fm.getDescent() * 2));\r
+            }\r
+            else\r
+            {\r
+                gg.drawLine((int) (((i - startx - 1) * av.charWidth) +\r
+                    (av.charWidth / 2)), y + fm.getDescent(),\r
+                    (int) (((i - startx - 1) * av.charWidth) +\r
+                    (av.charWidth / 2)), y + (fm.getDescent() * 2));\r
+            }\r
+        }\r
+    }\r
 }\r