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:
87e1ada
)
JAL-1889 explicit recalc of geometry for scale left/right/above on/off
bug/JAL-1889serverTestSuite
author
gmungoc
<g.m.carstairs@dundee.ac.uk>
Sat, 23 Mar 2019 08:49:52 +0000
(08:49 +0000)
committer
gmungoc
<g.m.carstairs@dundee.ac.uk>
Sat, 23 Mar 2019 08:49:52 +0000
(08:49 +0000)
src/jalview/gui/AlignFrame.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/AlignFrame.java
b/src/jalview/gui/AlignFrame.java
index
4ff1b4f
..
0239bb4
100644
(file)
--- a/
src/jalview/gui/AlignFrame.java
+++ b/
src/jalview/gui/AlignFrame.java
@@
-3104,7
+3104,7
@@
public class AlignFrame extends GAlignFrame implements DropTargetListener,
protected void scaleAbove_actionPerformed(ActionEvent e)
{
viewport.setScaleAboveWrapped(scaleAbove.isSelected());
protected void scaleAbove_actionPerformed(ActionEvent e)
{
viewport.setScaleAboveWrapped(scaleAbove.isSelected());
- // TODO: do we actually need to update overview for scale above change ?
+ alignPanel.updateLayout();
alignPanel.paintAlignment(true, false);
}
alignPanel.paintAlignment(true, false);
}
@@
-3118,6
+3118,7
@@
public class AlignFrame extends GAlignFrame implements DropTargetListener,
protected void scaleLeft_actionPerformed(ActionEvent e)
{
viewport.setScaleLeftWrapped(scaleLeft.isSelected());
protected void scaleLeft_actionPerformed(ActionEvent e)
{
viewport.setScaleLeftWrapped(scaleLeft.isSelected());
+ alignPanel.updateLayout();
alignPanel.paintAlignment(true, false);
}
alignPanel.paintAlignment(true, false);
}
@@
-3131,6
+3132,7
@@
public class AlignFrame extends GAlignFrame implements DropTargetListener,
protected void scaleRight_actionPerformed(ActionEvent e)
{
viewport.setScaleRightWrapped(scaleRight.isSelected());
protected void scaleRight_actionPerformed(ActionEvent e)
{
viewport.setScaleRightWrapped(scaleRight.isSelected());
+ alignPanel.updateLayout();
alignPanel.paintAlignment(true, false);
}
alignPanel.paintAlignment(true, false);
}