Use paintAlignment

[jalview.git] / src / jalview / gui / IdPanel.java

diff --git a/src/jalview/gui/IdPanel.java b/src/jalview/gui/IdPanel.java
index e3a81dc..d80c4b8 100755 (executable)
--- a/src/jalview/gui/IdPanel.java
+++ b/src/jalview/gui/IdPanel.java
@@ -32,7 +32,7 @@ import jalview.datamodel.*;
  */\r
 public class IdPanel\r
     extends JPanel implements MouseListener,\r
-    MouseMotionListener\r
+    MouseMotionListener, MouseWheelListener\r
 {\r
   protected IdCanvas idCanvas;\r
   protected AlignViewport av;\r
@@ -58,6 +58,7 @@ public class IdPanel
     add(idCanvas, BorderLayout.CENTER);\r
     addMouseListener(this);\r
     addMouseMotionListener(this);\r
+    addMouseWheelListener(this);\r
     ToolTipManager.sharedInstance().registerComponent(this);\r
   }\r
 \r
@@ -136,7 +137,20 @@ public class IdPanel
     }\r
 \r
     lastid = seq;\r
-    alignPanel.repaint();\r
+    alignPanel.paintAlignment(true);\r
+  }\r
+\r
+  public void mouseWheelMoved(MouseWheelEvent e)\r
+  {\r
+    e.consume();\r
+      if (e.getWheelRotation() > 0)\r
+      {\r
+        alignPanel.scrollUp(false);\r
+      }\r
+      else\r
+      {\r
+        alignPanel.scrollUp(true);\r
+      }\r
   }\r
 \r
   /**\r
@@ -267,7 +281,7 @@ public class IdPanel
       selectSeq(seq);\r
     }\r
 \r
-    alignPanel.repaint();\r
+    alignPanel.paintAlignment(true);\r
   }\r
 \r
   /**\r
@@ -407,7 +421,7 @@ public class IdPanel
           running = false;\r
         }\r
 \r
-        alignPanel.repaint();\r
+        alignPanel.paintAlignment(true);\r
 \r
         try\r
         {\r