automatic scrolling switch

diff --git a/src/jalview/jbgui/GAlignFrame.java b/src/jalview/jbgui/GAlignFrame.java
index 5f9f6e2..408a1ed 100755 (executable)
--- a/src/jalview/jbgui/GAlignFrame.java
+++ b/src/jalview/jbgui/GAlignFrame.java
@@ -264,6 +264,8 @@ public class GAlignFrame extends JInternalFrame
 
   protected JCheckBoxMenuItem centreColumnLabelsMenuItem = new JCheckBoxMenuItem();
 
+  protected JCheckBoxMenuItem followHighlightMenuItem = new JCheckBoxMenuItem();
+  
   protected JMenuItem gatherViews = new JMenuItem();
 
   protected JMenuItem expandViews = new JMenuItem();
@@ -1106,7 +1108,19 @@ public class GAlignFrame extends JInternalFrame
                 centreColumnLabels_actionPerformed(e);
               }
             });
+    followHighlightMenuItem.setVisible(true);
+    followHighlightMenuItem.setState(true);
+    followHighlightMenuItem.setText("Automatic Scrolling");
+    followHighlightMenuItem.addActionListener(new ActionListener()
+    {
 
+      public void actionPerformed(ActionEvent e)
+      {
+        followHighlight_actionPerformed();
+      }
+      
+    });
+    
     modifyPID.setText("Modify Identity Threshold...");
     modifyPID.addActionListener(new java.awt.event.ActionListener()
     {
@@ -1507,6 +1521,7 @@ public class GAlignFrame extends JInternalFrame
     viewMenu.add(jMenu3);
     viewMenu.add(hideMenu);
     viewMenu.addSeparator();
+    viewMenu.add(followHighlightMenuItem);
     viewMenu.add(annotationPanelMenuItem);
     viewMenu.addSeparator();
     viewMenu.add(showSeqFeatures);
@@ -1599,6 +1614,12 @@ public class GAlignFrame extends JInternalFrame
     selectMenu.add(deleteGroups);
   }
 
+  protected void followHighlight_actionPerformed()
+  {
+    // TODO Auto-generated method stub
+    
+  }
+
   protected void showNpFeats_actionPerformed(ActionEvent e)
   {
     // TODO Auto-generated method stub