X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src2%2Ffr%2Forsay%2Flri%2Fvarna%2Fcontrolers%2FControleurBorder.java;fp=src2%2Ffr%2Forsay%2Flri%2Fvarna%2Fcontrolers%2FControleurBorder.java;h=dd5446671bc49e2db7782531ac62685a20f80c94;hb=665d2c2f4c1310e6985b93b7c2c8a8eec2fa9086;hp=0000000000000000000000000000000000000000;hpb=0e684f72690bd6532272a39ab6c188a27559fd09;p=jalview.git

diff --git a/src2/fr/orsay/lri/varna/controlers/ControleurBorder.java b/src2/fr/orsay/lri/varna/controlers/ControleurBorder.java
new file mode 100644
index 0000000..dd54466
--- /dev/null
+++ b/src2/fr/orsay/lri/varna/controlers/ControleurBorder.java
@@ -0,0 +1,46 @@
+/*
+ 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.
+ Copyright (C) 2008  Kevin Darty, Alain Denise and Yann Ponty.
+ electronic mail : Yann.Ponty@lri.fr
+ paper mail : LRI, bat 490 Université Paris-Sud 91405 Orsay Cedex France
+
+ This file is part of VARNA version 3.1.
+ VARNA version 3.1 is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License
+ as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
+
+ VARNA version 3.1 is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY;
+ without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
+ See the GNU General Public License for more details.
+
+ You should have received a copy of the GNU General Public License along with VARNA version 3.1.
+ If not, see http://www.gnu.org/licenses.
+ */
+package fr.orsay.lri.varna.controlers;
+
+import java.awt.Dimension;
+
+import javax.swing.event.ChangeEvent;
+import javax.swing.event.ChangeListener;
+
+import fr.orsay.lri.varna.views.VueBorder;
+
+
+public class ControleurBorder implements ChangeListener {
+
+	private VueBorder _vb;
+
+	public ControleurBorder(VueBorder vb) {
+		_vb = vb;
+	}
+
+	public void stateChanged(ChangeEvent e) {
+		if (_vb.getDimension().getHeight() < _vb.get_vp().getHeight()
+				&& _vb.getDimension().getWidth() < _vb.get_vp().getWidth()) {
+			_vb.get_vp().setBorderSize(_vb.getDimension());
+			_vb.get_vp().setMinimumSize(
+					new Dimension(_vb.get_vp().getBorderSize().width * 2, _vb
+							.get_vp().getBorderSize().height * 2));
+			_vb.get_vp().repaint();
+		}
+	}
+}