Merge branch 'Jalview-JS/develop' into develop

[jalview.git] / srcjar / fr / orsay / lri / varna / controlers / ControleurMolette.java

diff --git a/srcjar/fr/orsay/lri/varna/controlers/ControleurMolette.java b/srcjar/fr/orsay/lri/varna/controlers/ControleurMolette.java
new file mode 100644 (file)
index 0000000..5783525
--- /dev/null
+++ b/srcjar/fr/orsay/lri/varna/controlers/ControleurMolette.java
@@ -0,0 +1,52 @@
+/*
+ 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.Point;
+import java.awt.event.MouseWheelEvent;
+import java.awt.event.MouseWheelListener;
+
+import fr.orsay.lri.varna.VARNAPanel;
+
+
+/**
+ * Listener which control the zoom-in and zoom-out with mouse wheel.
+ * 
+ * @author DARTY Kevin
+ */
+public class ControleurMolette implements MouseWheelListener {
+
+       private VARNAPanel _vp;
+       public ControleurMolette(VARNAPanel vuep) {
+               _vp = vuep;
+       }
+
+       public void mouseWheelMoved(MouseWheelEvent e) {
+               if (_vp.isFocusOwner())
+               {
+                       // Roulement vers le haut => zoom in
+                       if (e.getWheelRotation() == -1) {
+                               _vp.getVARNAUI().UIZoomIn();
+                       }
+                       // Roulement vers le bas => zoom out
+                       else {
+                               _vp.getVARNAUI().UIZoomOut();
+                       }
+               }
+       }
+}