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:
3623dc5
)
22 = scrollbar and insets widthcvs diff gui/AlignmentPanel.java
author
amwaterhouse
<Andrew Waterhouse>
Fri, 2 Feb 2007 11:44:09 +0000
(11:44 +0000)
committer
amwaterhouse
<Andrew Waterhouse>
Fri, 2 Feb 2007 11:44:09 +0000
(11:44 +0000)
src/jalview/gui/AlignmentPanel.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/AlignmentPanel.java
b/src/jalview/gui/AlignmentPanel.java
index
48ec076
..
d912b29
100755
(executable)
--- a/
src/jalview/gui/AlignmentPanel.java
+++ b/
src/jalview/gui/AlignmentPanel.java
@@
-900,7
+900,10
@@
public class AlignmentPanel extends GAlignmentPanel
if (System.getProperty("java.awt.headless") != null
\r
&& System.getProperty("java.awt.headless").equals("true"))
\r
{
\r
- width = alignFrame.getWidth() - 22;
\r
+ width = alignFrame.getWidth()
\r
+ - vscroll.getPreferredSize().width
\r
+ - alignFrame.getInsets().left
\r
+ - alignFrame.getInsets().right;
\r
}
\r
else
\r
width = seqPanel.getWidth() + getVisibleIdWidth();
\r