1 package jalview.appletgui;
\r
3 import jalview.datamodel.*;
\r
5 import java.awt.event.*;
\r
7 public class ScalePanel extends Panel
\r
10 protected int offy = 4;
\r
13 protected AlignViewport av;
\r
16 boolean stretchingGroup = false;
\r
18 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
112 public void update(Graphics g)
\r
117 public void paint(Graphics g)
\r
119 drawScale(g, av.getStartRes(), av.getEndRes(), getSize().width, getSize().height);
\r
122 // scalewidth will normally be screenwidth,
\r
123 public void drawScale(Graphics gg, int startx, int endx, int width, int height)
\r
125 gg.setFont(av.getFont());
\r
127 //Fill in the background
\r
128 gg.setColor(Color.white);
\r
129 gg.fillRect(0,0,width, height);
\r
130 gg.setColor(Color.black);
\r
133 //Fill the selected columns
\r
134 ColumnSelection cs = av.getColumnSelection();
\r
135 gg.setColor(new Color(220,0,0));
\r
136 for (int i=0; i<cs.size(); i++)
\r
138 int sel = cs.columnAt(i);
\r
139 if ( sel >= startx && sel <= endx)
\r
140 gg.fillRect((sel-startx)*av.charWidth,0,av.charWidth, getSize().height);
\r
144 // Draw the scale numbers
\r
145 gg.setColor(Color.black);
\r
146 int scalestartx = (startx/10) * 10;
\r
148 FontMetrics fm = gg.getFontMetrics(av.getFont());
\r
149 int y = av.charHeight -fm.getDescent();
\r
151 if(scalestartx%10==0)
\r
154 for (int i=scalestartx;i < endx; i+= 5)
\r
158 gg.drawString(String.valueOf(i), (i - startx - 1) * av.charWidth, y);
\r
159 gg.drawLine( (int) ( (i - startx - 1) * av.charWidth + av.charWidth / 2),
\r
161 (int) ( (i - startx - 1) * av.charWidth + av.charWidth / 2),
\r
162 y+fm.getDescent()*2);
\r
165 gg.drawLine( (int) ( (i - startx - 1) * av.charWidth + av.charWidth / 2),
\r
167 (int) ( (i - startx - 1) * av.charWidth + av.charWidth / 2),
\r
168 y+fm.getDescent()*2);
\r