src/jalview/gui/ScalePanel.java

   1 package jalview.gui;\r
   2 \r
   3 import java.awt.*;\r
   4 import java.awt.event.*;\r
   5 \r
   6 import javax.swing.*;\r
   7 \r
   8 public class ScalePanel extends JPanel\r
   9 {\r
  10 \r
  11   protected ScaleCanvas scaleCanvas;\r
  12 \r
  13   protected int offy;\r
  14   public    int width;\r
  15 \r
  16   protected AlignViewport av;\r
  17 \r
  18   public ScalePanel(AlignViewport av) {\r
  19     this.av         = av;\r
  20 \r
  21     scaleCanvas = new ScaleCanvas(av);\r
  22     setLayout(new BorderLayout());\r
  23     add(scaleCanvas, BorderLayout.CENTER);\r
  24     addMouseListener(new MouseAdapter()\r
  25     {\r
  26       public void mousePressed(MouseEvent evt)\r
  27       {\r
  28         doMousePressed(evt);\r
  29       }\r
  30     });\r
  31   }\r
  32 \r
  33   public Dimension getMinimumSize() {\r
  34     return scaleCanvas.getMinimumSize();\r
  35   }\r
  36 \r
  37   public Dimension getPreferredSize() {\r
  38     return scaleCanvas.getPreferredSize();\r
  39   }\r
  40 \r
  41   public void doMousePressed(MouseEvent evt) {\r
  42     int x = evt.getX();\r
  43     int res = x/(int)av.getCharWidth() + av.getStartRes();\r
  44 \r
  45     if (! av.getColumnSelection().contains(res))\r
  46       av.getColumnSelection().addElement(res);\r
  47      else\r
  48       av.getColumnSelection().removeElement(res);\r
  49 \r
  50     repaint();\r
  51   }\r
  52 }\r