4 import java.awt.event.*;
\r
6 import javax.swing.*;
\r
8 public class ScalePanel extends JPanel
\r
11 protected ScaleCanvas scaleCanvas;
\r
16 protected AlignViewport av;
\r
18 public ScalePanel(AlignViewport av) {
\r
21 scaleCanvas = new ScaleCanvas(av);
\r
22 setLayout(new BorderLayout());
\r
23 add(scaleCanvas, BorderLayout.CENTER);
\r
24 addMouseListener(new MouseAdapter()
\r
26 public void mousePressed(MouseEvent evt)
\r
28 doMousePressed(evt);
\r
33 public Dimension getMinimumSize() {
\r
34 return scaleCanvas.getMinimumSize();
\r
37 public Dimension getPreferredSize() {
\r
38 return scaleCanvas.getPreferredSize();
\r
41 public void doMousePressed(MouseEvent evt) {
\r
43 int res = x/(int)av.getCharWidth() + av.getStartRes();
\r
45 if (! av.getColumnSelection().contains(res))
\r
46 av.getColumnSelection().addElement(res);
\r
48 av.getColumnSelection().removeElement(res);
\r