From 655911bbe41713fd320da9afd5461c75eebe8db8 Mon Sep 17 00:00:00 2001
From: jprocter <Jim Procter>
Date: Fri, 8 Apr 2011 17:22:04 +0000
Subject: [PATCH] todo

---
 src/jalview/gui/AlignmentPanel.java |    1 +
 1 file changed, 1 insertion(+)

diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java
index 90c5aff..e50b522 100755
--- a/src/jalview/gui/AlignmentPanel.java
+++ b/src/jalview/gui/AlignmentPanel.java
@@ -1043,6 +1043,7 @@ public class AlignmentPanel extends GAlignmentPanel implements
       if (System.getProperty("java.awt.headless") != null
               && System.getProperty("java.awt.headless").equals("true"))
       {
+        // TODO: JAL-244
         width = alignFrame.getWidth() - vscroll.getPreferredSize().width
                 - alignFrame.getInsets().left
                 - alignFrame.getInsets().right;
-- 
1.7.10.2