From 51bbc79eee43d019f9fcb14b7aa6e0a0c2c99f76 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 2 Feb 2007 11:44:09 +0000
Subject: [PATCH] 22 = scrollbar and insets widthcvs diff
 gui/AlignmentPanel.java

---
 src/jalview/gui/AlignmentPanel.java |    5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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();
-- 
1.7.10.2