experiment with reinstating the sandbox permissions
[jalview.git] / src / jalview / appletgui / IdwidthAdjuster.java
1 /*
2  * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8)
3  * Copyright (C) 2012 J Procter, AM Waterhouse, LM Lui, J Engelhardt, G Barton, M Clamp, S Searle
4  * 
5  * This file is part of Jalview.
6  * 
7  * Jalview is free software: you can redistribute it and/or
8  * modify it under the terms of the GNU General Public License 
9  * as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
10  *  
11  * Jalview is distributed in the hope that it will be useful, but 
12  * WITHOUT ANY WARRANTY; without even the implied warranty 
13  * of MERCHANTABILITY or FITNESS FOR A PARTICULAR 
14  * PURPOSE.  See the GNU General Public License for more details.
15  * 
16  * You should have received a copy of the GNU General Public License along with Jalview.  If not, see <http://www.gnu.org/licenses/>.
17  */
18 package jalview.appletgui;
19
20 import java.awt.*;
21 import java.awt.event.*;
22
23 public class IdwidthAdjuster extends Panel implements MouseListener,
24         MouseMotionListener
25 {
26   boolean active = false;
27
28   int oldX = 0;
29
30   Image image;
31
32   AlignmentPanel ap;
33
34   public IdwidthAdjuster(AlignmentPanel ap)
35   {
36     setLayout(null);
37     this.ap = ap;
38     java.net.URL url = getClass().getResource("/images/idwidth.gif");
39     if (url != null)
40     {
41       image = java.awt.Toolkit.getDefaultToolkit().getImage(url);
42     }
43
44     addMouseListener(this);
45     addMouseMotionListener(this);
46   }
47
48   public void mousePressed(MouseEvent evt)
49   {
50     oldX = evt.getX();
51   }
52
53   public void mouseReleased(MouseEvent evt)
54   {
55     active = false;
56     repaint();
57   }
58
59   public void mouseEntered(MouseEvent evt)
60   {
61     active = true;
62     repaint();
63   }
64
65   public void mouseExited(MouseEvent evt)
66   {
67     active = false;
68     repaint();
69   }
70
71   public void mouseDragged(MouseEvent evt)
72   {
73     active = true;
74     Dimension d = ap.idPanel.idCanvas.getSize();
75     int dif = evt.getX() - oldX;
76
77     if (d.width + dif > 20 || dif > 0)
78     {
79       ap.setIdWidth(d.width + dif, d.height);
80       this.setSize(d.width + dif, getSize().height);
81       oldX = evt.getX();
82     }
83
84   }
85
86   public void mouseMoved(MouseEvent evt)
87   {
88   }
89
90   public void mouseClicked(MouseEvent evt)
91   {
92   }
93
94   public void paint(Graphics g)
95   {
96     g.setColor(Color.white);
97     g.fillRect(0, 0, getSize().width, getSize().height);
98     if (active)
99     {
100       if (image != null)
101       {
102         g.drawImage(image, getSize().width - 20, 2, this);
103       }
104     }
105   }
106
107 }