{\r
public AlignmentPanel alignPanel;\r
public AlignViewport viewport;\r
- int NEW_WINDOW_WIDTH = 700;\r
- int NEW_WINDOW_HEIGHT = 500;\r
+ int DEFAULT_WIDTH = 700;\r
+ int DEFAULT_HEIGHT = 500;\r
\r
String jalviewServletURL;\r
\r
if (param != null)\r
{\r
int width = Integer.parseInt(param);\r
- NEW_WINDOW_WIDTH = width;\r
+ DEFAULT_WIDTH = width;\r
}\r
param = applet.getParameter("windowHeight");\r
if (param != null)\r
{\r
int height = Integer.parseInt(param);\r
- NEW_WINDOW_HEIGHT = height;\r
+ DEFAULT_HEIGHT = height;\r
}\r
}\r
catch (Exception ex)\r
else\r
{\r
add(alignPanel, BorderLayout.CENTER);\r
- jalview.bin.JalviewLite.addFrame(this, title, NEW_WINDOW_WIDTH,\r
- NEW_WINDOW_HEIGHT);\r
+ jalview.bin.JalviewLite.addFrame(this, title, DEFAULT_WIDTH,\r
+ DEFAULT_HEIGHT);\r
}\r
alignPanel.validate();\r
alignPanel.repaint();\r
alignPanel.repaint();\r
break;\r
}\r
-\r
- }\r
+ case KeyEvent.VK_PAGE_UP:\r
+ if (viewport.wrapAlignment)\r
+ alignPanel.scrollUp(true);\r
+ else\r
+ alignPanel.setScrollValues(viewport.startRes,\r
+ viewport.startSeq\r
+ - viewport.endSeq + viewport.startSeq);\r
+ break;\r
+ case KeyEvent.VK_PAGE_DOWN:\r
+ if (viewport.wrapAlignment)\r
+ alignPanel.scrollUp(false);\r
+ else\r
+ alignPanel.setScrollValues(viewport.startRes,\r
+ viewport.startSeq\r
+ + viewport.endSeq - viewport.startSeq);\r
+ break;\r
+ }\r
}\r
public void keyReleased(KeyEvent evt)\r
{}\r
}\r
\r
\r
- jalview.bin.JalviewLite.addFrame(af, newtitle, NEW_WINDOW_WIDTH,\r
- NEW_WINDOW_HEIGHT);\r
+ jalview.bin.JalviewLite.addFrame(af, newtitle, DEFAULT_WIDTH,\r
+ DEFAULT_HEIGHT);\r
}\r
else\r
{\r