git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
18c97ef
)
DEFAULT_WIDTH
author
amwaterhouse
<Andrew Waterhouse>
Thu, 5 Oct 2006 16:17:35 +0000
(16:17 +0000)
committer
amwaterhouse
<Andrew Waterhouse>
Thu, 5 Oct 2006 16:17:35 +0000
(16:17 +0000)
src/jalview/appletgui/AlignFrame.java
patch
|
blob
|
history
diff --git
a/src/jalview/appletgui/AlignFrame.java
b/src/jalview/appletgui/AlignFrame.java
index
86c079c
..
9152939
100755
(executable)
--- a/
src/jalview/appletgui/AlignFrame.java
+++ b/
src/jalview/appletgui/AlignFrame.java
@@
-36,8
+36,8
@@
public class AlignFrame extends Frame implements ActionListener,
{
\r
public AlignmentPanel alignPanel;
\r
public AlignViewport viewport;
\r
{
\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
\r
String jalviewServletURL;
\r
\r
@@
-91,13
+91,13
@@
public class AlignFrame extends Frame implements ActionListener,
if (param != null)
\r
{
\r
int width = Integer.parseInt(param);
\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
}
\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
}
\r
}
\r
catch (Exception ex)
\r
@@
-132,8
+132,8
@@
public class AlignFrame extends Frame implements ActionListener,
else
\r
{
\r
add(alignPanel, BorderLayout.CENTER);
\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
}
\r
alignPanel.validate();
\r
alignPanel.repaint();
\r
@@
-368,8
+368,23
@@
public class AlignFrame extends Frame implements ActionListener,
alignPanel.repaint();
\r
break;
\r
}
\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
public void keyReleased(KeyEvent evt)
\r
{}
\r
@@
-931,8
+946,8
@@
public void itemStateChanged(ItemEvent evt)
}
\r
\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
}
\r
else
\r
{
\r