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:
4e3fecb
)
Update overviewImage if font changed
author
amwaterhouse
<Andrew Waterhouse>
Fri, 26 Aug 2005 12:42:13 +0000
(12:42 +0000)
committer
amwaterhouse
<Andrew Waterhouse>
Fri, 26 Aug 2005 12:42:13 +0000
(12:42 +0000)
src/jalview/gui/AlignmentPanel.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/AlignmentPanel.java
b/src/jalview/gui/AlignmentPanel.java
index
3c80f3a
..
78e545a
100755
(executable)
--- a/
src/jalview/gui/AlignmentPanel.java
+++ b/
src/jalview/gui/AlignmentPanel.java
@@
-156,6
+156,23
@@
public class AlignmentPanel extends GAlignmentPanel
d.setSize(d.width + 4, d.height);
\r
idPanel.idCanvas.setPreferredSize(d);
\r
hscrollFillerPanel.setPreferredSize(d);
\r
d.setSize(d.width + 4, d.height);
\r
idPanel.idCanvas.setPreferredSize(d);
\r
hscrollFillerPanel.setPreferredSize(d);
\r
+
\r
+ if (av.getWrapAlignment())
\r
+ {
\r
+ int max = av.alignment.getWidth() /
\r
+ seqPanel.seqCanvas.getWrappedCanvasWidth(seqPanel.seqCanvas.getWidth());
\r
+ vscroll.setMaximum(max);
\r
+ vscroll.setUnitIncrement(1);
\r
+ vscroll.setVisibleAmount(1);
\r
+ }
\r
+ else
\r
+ {
\r
+ setScrollValues(av.getStartRes(), av.getStartSeq());
\r
+ }
\r
+
\r
+ if(overviewPanel!=null)
\r
+ overviewPanel.updateOverviewImage();
\r
+
\r
repaint();
\r
}
\r
\r
repaint();
\r
}
\r
\r