From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 2 Feb 2007 11:44:09 +0000 (+0000)
Subject: 22 = scrollbar and insets widthcvs diff gui/AlignmentPanel.java
X-Git-Tag: Release_2_3~386
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=51bbc79eee43d019f9fcb14b7aa6e0a0c2c99f76;p=jalview.git

22 = scrollbar and insets widthcvs diff gui/AlignmentPanel.java
---

diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java
index 48ec076..d912b29 100755
--- 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
           && System.getProperty("java.awt.headless").equals("true"))
       {
-        width = alignFrame.getWidth() - 22;
+        width = alignFrame.getWidth()
+            - vscroll.getPreferredSize().width
+            - alignFrame.getInsets().left
+            - alignFrame.getInsets().right;
       }
       else
         width = seqPanel.getWidth() + getVisibleIdWidth();