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 ap.annotationPanel.addEditableColumn(res);
\r
67 av.setSelectionGroup(sg);
\r
71 public void doMouseReleased(MouseEvent evt)
\r
73 if(!stretchingGroup)
\r
77 int res = x/av.getCharWidth() + av.getStartRes();
\r
79 if (! av.getColumnSelection().contains(res))
\r
80 av.getColumnSelection().addElement(res);
\r
82 SequenceGroup sg = av.getSelectionGroup();
\r
84 if(res>sg.getStartRes())
\r
86 else if(res<sg.getStartRes())
\r
87 sg.setStartRes(res);
\r
89 stretchingGroup = false;
\r
93 public void doMouseDragged(MouseEvent evt)
\r
96 int res = x/av.getCharWidth() + av.getStartRes();
\r
98 SequenceGroup sg = av.getSelectionGroup();
\r
101 stretchingGroup = true;
\r
102 if (res > sg.getStartRes())
\r
104 else if (res < sg.getStartRes())
\r
105 sg.setStartRes(res);
\r
107 ap.annotationPanel.addEditableColumn(res);
\r
108 ap.RefreshPanels();
\r
112 public void paintComponent(Graphics g)
\r
114 drawScale(g, av.getStartRes(), av.getEndRes(), getWidth());
\r
117 // scalewidth will normally be screenwidth,
\r
118 public void drawScale(Graphics g, int startx, int endx, int scaleWidth)
\r
120 Graphics2D gg = (Graphics2D)g;
\r
121 gg.setRenderingHint(RenderingHints.KEY_ANTIALIASING,RenderingHints.VALUE_ANTIALIAS_ON);
\r
122 int charWidth = av.getCharWidth();
\r
124 gg.setFont(av.getFont());
\r
126 //Fill in the background
\r
128 gg.setColor(Color.white);
\r
129 gg.fillRect(0,0,scaleWidth, getHeight());
\r
131 int resWidth = endx - startx + 1;
\r
133 // We want roughly one tick every 50 pixels
\r
135 double rough = scaleWidth/50.0;
\r
137 double roughtick = resWidth/rough;
\r
139 int digits = (int)(Math.log(roughtick)/Math.log(10));
\r
140 int num = (int)(roughtick/Math.pow(10,digits));
\r
150 // System.out.println("Dig " + digits + " " + rough + " " + roughtick + " " + getWidth() + " " + num);
\r
152 int space = (int)(num * Math.pow(10,digits));
\r
154 //Set the text font
\r
156 gg.setColor(Color.black);
\r
159 int scalestartx = 0;
\r
161 scalestartx = startx - startx%space + space;
\r
164 //Fill the selected columns
\r
165 ColumnSelection cs = av.getColumnSelection();
\r
166 int width = charWidth;
\r
170 gg.setColor(new Color(220,0,0));
\r
171 for (int i=0; i<cs.size(); i++) {
\r
172 int sel = cs.columnAt(i);
\r
173 // System.out.println("Selection = " + sel);
\r
174 if ( sel >= startx && sel <= endx) {
\r
176 gg.fillRect((sel-startx)*charWidth,0,width,getHeight());
\r
180 // Draw the scale numbers
\r
181 gg.setColor(Color.black);
\r
184 for (int i=scalestartx;i < endx;i+= space) {
\r
186 String string = String.valueOf(i);
\r
188 gg.drawString(string,(i-startx-1)*charWidth, av.charHeight / 2 +offy);
\r
189 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