From 83c0e7f0b27a36a8b20172eea50e591aaa8a40a2 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Thu, 5 Oct 2006 16:17:35 +0000
Subject: [PATCH] DEFAULT_WIDTH

---
 src/jalview/appletgui/AlignFrame.java |   35 +++++++++++++++++++++++----------
 1 file changed, 25 insertions(+), 10 deletions(-)

diff --git a/src/jalview/appletgui/AlignFrame.java b/src/jalview/appletgui/AlignFrame.java
index 86c079c..9152939 100755
--- a/src/jalview/appletgui/AlignFrame.java
+++ b/src/jalview/appletgui/AlignFrame.java
@@ -36,8 +36,8 @@ public class AlignFrame extends Frame implements ActionListener,
 {
   public AlignmentPanel alignPanel;
   public AlignViewport viewport;
-  int NEW_WINDOW_WIDTH = 700;
-  int NEW_WINDOW_HEIGHT = 500;
+  int DEFAULT_WIDTH = 700;
+  int DEFAULT_HEIGHT = 500;
 
   String jalviewServletURL;
 
@@ -91,13 +91,13 @@ public class AlignFrame extends Frame implements ActionListener,
         if (param != null)
         {
           int width = Integer.parseInt(param);
-          NEW_WINDOW_WIDTH = width;
+          DEFAULT_WIDTH = width;
         }
         param = applet.getParameter("windowHeight");
         if (param != null)
         {
           int height = Integer.parseInt(param);
-          NEW_WINDOW_HEIGHT = height;
+          DEFAULT_HEIGHT = height;
         }
       }
       catch (Exception ex)
@@ -132,8 +132,8 @@ public class AlignFrame extends Frame implements ActionListener,
    else
    {
      add(alignPanel, BorderLayout.CENTER);
-     jalview.bin.JalviewLite.addFrame(this, title, NEW_WINDOW_WIDTH,
-                                      NEW_WINDOW_HEIGHT);
+     jalview.bin.JalviewLite.addFrame(this, title, DEFAULT_WIDTH,
+                                      DEFAULT_HEIGHT);
    }
    alignPanel.validate();
    alignPanel.repaint();
@@ -368,8 +368,23 @@ public class AlignFrame extends Frame implements ActionListener,
         alignPanel.repaint();
         break;
       }
-
-    }
+      case KeyEvent.VK_PAGE_UP:
+        if (viewport.wrapAlignment)
+          alignPanel.scrollUp(true);
+        else
+          alignPanel.setScrollValues(viewport.startRes,
+                                     viewport.startSeq
+                                     - viewport.endSeq + viewport.startSeq);
+        break;
+      case KeyEvent.VK_PAGE_DOWN:
+        if (viewport.wrapAlignment)
+          alignPanel.scrollUp(false);
+        else
+          alignPanel.setScrollValues(viewport.startRes,
+                                     viewport.startSeq
+                                     + viewport.endSeq - viewport.startSeq);
+        break;
+      }
   }
   public void keyReleased(KeyEvent evt)
   {}
@@ -931,8 +946,8 @@ public void itemStateChanged(ItemEvent evt)
         }
 
 
-        jalview.bin.JalviewLite.addFrame(af, newtitle, NEW_WINDOW_WIDTH,
-                                         NEW_WINDOW_HEIGHT);
+        jalview.bin.JalviewLite.addFrame(af, newtitle, DEFAULT_WIDTH,
+                                         DEFAULT_HEIGHT);
       }
       else
       {
-- 
1.7.10.2