From: amwaterhouse <Andrew Waterhouse>
Date: Mon, 20 Nov 2006 18:10:32 +0000 (+0000)
Subject: Mouse wheel to zoom
X-Git-Tag: Release_2_2~96
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=41238b03f514480a593c586c1c9539727b535cda;hp=2752c8b869e9c395471f45ada636ca4752b4eac1;p=jalview.git

Mouse wheel to zoom
---

diff --git a/src/jalview/gui/RotatableCanvas.java b/src/jalview/gui/RotatableCanvas.java
index b30dc34..9007e4f 100755
--- a/src/jalview/gui/RotatableCanvas.java
+++ b/src/jalview/gui/RotatableCanvas.java
@@ -79,6 +79,25 @@ public class RotatableCanvas extends JPanel implements MouseListener,
     public RotatableCanvas(AlignViewport av)
     {
       this.av = av;
+
+      addMouseWheelListener(new MouseWheelListener()
+      {
+        public void mouseWheelMoved(MouseWheelEvent e)
+        {
+          if (e.getWheelRotation() > 0)
+          {
+            scale = (float) (scale * 1.1);
+            repaint();
+          }
+
+          else
+          {
+            scale = (float) (scale * 0.9);
+            repaint();
+          }
+        }
+      });
+
     }
 
     public void showLabels(boolean b)