JAL-3026 srcjar files for VARNA and log4j
[jalview.git] / srcjar / fr / orsay / lri / varna / controlers / ControleurBorder.java
1 /*
2  VARNA is a tool for the automated drawing, visualization and annotation of the secondary structure of RNA, designed as a companion software for web servers and databases.
3  Copyright (C) 2008  Kevin Darty, Alain Denise and Yann Ponty.
4  electronic mail : Yann.Ponty@lri.fr
5  paper mail : LRI, bat 490 Université Paris-Sud 91405 Orsay Cedex France
6
7  This file is part of VARNA version 3.1.
8  VARNA version 3.1 is free software: you can redistribute it and/or 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  VARNA version 3.1 is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY;
12  without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
13  See the GNU General Public License for more details.
14
15  You should have received a copy of the GNU General Public License along with VARNA version 3.1.
16  If not, see http://www.gnu.org/licenses.
17  */
18 package fr.orsay.lri.varna.controlers;
19
20 import java.awt.Dimension;
21
22 import javax.swing.event.ChangeEvent;
23 import javax.swing.event.ChangeListener;
24
25 import fr.orsay.lri.varna.views.VueBorder;
26
27
28 public class ControleurBorder implements ChangeListener {
29
30         private VueBorder _vb;
31
32         public ControleurBorder(VueBorder vb) {
33                 _vb = vb;
34         }
35
36         public void stateChanged(ChangeEvent e) {
37                 if (_vb.getDimension().getHeight() < _vb.get_vp().getHeight()
38                                 && _vb.getDimension().getWidth() < _vb.get_vp().getWidth()) {
39                         _vb.get_vp().setBorderSize(_vb.getDimension());
40                         _vb.get_vp().setMinimumSize(
41                                         new Dimension(_vb.get_vp().getBorderSize().width * 2, _vb
42                                                         .get_vp().getBorderSize().height * 2));
43                         _vb.get_vp().repaint();
44                 }
45         }
46 }