3 import jalview.datamodel.*;
\r
5 import java.awt.event.*;
\r
6 import javax.swing.*;
\r
8 public class ScalePanel extends JPanel
\r
11 protected int offy = 4;
\r
14 protected AlignViewport av;
\r
17 boolean stretchingGroup = false;
\r
19 public ScalePanel(AlignViewport av, AlignmentPanel ap)
\r
24 addMouseListener(new MouseAdapter()
\r
26 public void mousePressed(MouseEvent evt)
\r
28 doMousePressed(evt);
\r
30 public void mouseReleased(MouseEvent evt)
\r
32 doMouseReleased(evt);
\r
36 addMouseMotionListener(new MouseMotionAdapter()
\r
38 public void mouseDragged(MouseEvent evt)
\r
40 doMouseDragged(evt);
\r
47 public void doMousePressed(MouseEvent evt) {
\r
49 int res = x/av.getCharWidth() + av.getStartRes();
\r
50 SequenceGroup sg = null;
\r
52 if (av.getColumnSelection().contains(res))
\r
53 av.getColumnSelection().removeElement(res);
\r
56 av.getColumnSelection().addElement(res);
\r
58 sg = new SequenceGroup();
\r
59 for (int i = 0; i < av.alignment.getSequences().size(); i++)
\r
60 sg.addSequence(av.alignment.getSequenceAt(i));
\r
62 sg.setStartRes(res);
\r
65 av.setSelectionGroup(sg);
\r
69 public void doMouseReleased(MouseEvent evt)
\r
71 if(!stretchingGroup)
\r
75 int res = x/av.getCharWidth() + av.getStartRes();
\r
77 if (! av.getColumnSelection().contains(res))
\r
78 av.getColumnSelection().addElement(res);
\r
80 SequenceGroup sg = av.getSelectionGroup();
\r
82 if(res>sg.getStartRes())
\r
84 else if(res<sg.getStartRes())
\r
85 sg.setStartRes(res);
\r
87 stretchingGroup = false;
\r
91 public void doMouseDragged(MouseEvent evt)
\r
94 int res = x/av.getCharWidth() + av.getStartRes();
\r
96 SequenceGroup sg = av.getSelectionGroup();
\r
99 stretchingGroup = true;
\r
100 if (res > sg.getStartRes())
\r
102 else if (res < sg.getStartRes())
\r
103 sg.setStartRes(res);
\r
105 ap.RefreshPanels();
\r
109 public void paintComponent(Graphics g)
\r
111 drawScale(g, av.getStartRes(), av.getEndRes(), getWidth());
\r
114 // scalewidth will normally be screenwidth,
\r
115 public void drawScale(Graphics gg, int startx, int endx, int scaleWidth)
\r
117 int charWidth = av.getCharWidth();
\r
119 gg.setFont(av.getFont());
\r
121 //Fill in the background
\r
123 gg.setColor(Color.white);
\r
124 gg.fillRect(0,0,scaleWidth, getHeight());
\r
126 int resWidth = endx - startx + 1;
\r
128 // We want roughly one tick every 50 pixels
\r
130 double rough = scaleWidth/50.0;
\r
132 double roughtick = resWidth/rough;
\r
134 int digits = (int)(Math.log(roughtick)/Math.log(10));
\r
135 int num = (int)(roughtick/Math.pow(10,digits));
\r
145 // System.out.println("Dig " + digits + " " + rough + " " + roughtick + " " + getWidth() + " " + num);
\r
147 int space = (int)(num * Math.pow(10,digits));
\r
149 //Set the text font
\r
151 gg.setColor(Color.black);
\r
153 int scalestartx = startx - startx%space + space;
\r
156 //Fill the selected columns
\r
157 ColumnSelection cs = av.getColumnSelection();
\r
158 int width = charWidth;
\r
162 gg.setColor(new Color(220,0,0));
\r
163 for (int i=0; i<cs.size(); i++) {
\r
164 int sel = cs.columnAt(i);
\r
165 // System.out.println("Selection = " + sel);
\r
166 if ( sel >= startx && sel <= endx) {
\r
168 gg.fillRect((sel-startx)*charWidth,0,width,getHeight());
\r
172 // Draw the scale numbers
\r
173 gg.setColor(Color.black);
\r
176 for (int i=scalestartx;i < endx;i+= space) {
\r
178 String string = String.valueOf(i);
\r
180 gg.drawString(string,(i-startx-1)*charWidth, av.charHeight / 2 +offy);
\r
181 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