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
112 public void paintComponent(Graphics g)
\r
114 drawScale(g, av.getStartRes(), av.getEndRes(), getWidth(), getHeight());
\r
117 // scalewidth will normally be screenwidth,
\r
118 public void drawScale(Graphics g, int startx, int endx, int width, int height)
\r
120 Graphics2D gg = (Graphics2D)g;
\r
121 gg.setFont(av.getFont());
\r
122 gg.setRenderingHint(RenderingHints.KEY_ANTIALIASING,RenderingHints.VALUE_ANTIALIAS_ON);
\r
124 //Fill in the background
\r
125 gg.setColor(Color.white);
\r
126 gg.fillRect(0,0,width, height);
\r
127 gg.setColor(Color.black);
\r
130 //Fill the selected columns
\r
131 ColumnSelection cs = av.getColumnSelection();
\r
132 gg.setColor(new Color(220,0,0));
\r
133 for (int i=0; i<cs.size(); i++)
\r
135 int sel = cs.columnAt(i);
\r
136 if ( sel >= startx && sel <= endx)
\r
137 gg.fillRect((sel-startx)*av.charWidth,0,av.charWidth,getHeight());
\r
141 // Draw the scale numbers
\r
142 gg.setColor(Color.black);
\r
143 int scalestartx = (startx/10) * 10;
\r
145 FontMetrics fm = gg.getFontMetrics(av.getFont());
\r
146 int y = av.charHeight -fm.getDescent();
\r
148 if(scalestartx%10==0)
\r
151 for (int i=scalestartx;i < endx; i+= 5)
\r
155 gg.drawString(String.valueOf(i), (i - startx - 1) * av.charWidth, y);
\r
156 gg.drawLine( (int) ( (i - startx - 1) * av.charWidth + av.charWidth / 2),
\r
158 (int) ( (i - startx - 1) * av.charWidth + av.charWidth / 2),
\r
159 y+fm.getDescent()*2);
\r
162 gg.drawLine( (int) ( (i - startx - 1) * av.charWidth + av.charWidth / 2),
\r
164 (int) ( (i - startx - 1) * av.charWidth + av.charWidth / 2),
\r
165 y+fm.getDescent()*2);
\r