From: jprocter Date: Fri, 8 Apr 2011 17:22:04 +0000 (+0000) Subject: todo X-Git-Tag: Release_2_7~223 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=655911bbe41713fd320da9afd5461c75eebe8db8;p=jalview.git todo --- 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;