22 = scrollbar and insets widthcvs diff gui/AlignmentPanel.java
authoramwaterhouse <Andrew Waterhouse>
Fri, 2 Feb 2007 11:44:09 +0000 (11:44 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 2 Feb 2007 11:44:09 +0000 (11:44 +0000)
src/jalview/gui/AlignmentPanel.java

index 48ec076..d912b29 100755 (executable)
@@ -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