From 13e054c5117102197ee0b22073603a6a38962865 Mon Sep 17 00:00:00 2001 From: gmungoc Date: Wed, 7 Mar 2018 11:04:42 +0000 Subject: [PATCH 1/1] JAL-2913 use FIGURE_USERIDWIDTH for fixed id width property --- src/jalview/bin/Cache.java | 2 +- src/jalview/gui/AlignmentPanel.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/jalview/bin/Cache.java b/src/jalview/bin/Cache.java index dcd6546..fcc4f6d 100755 --- a/src/jalview/bin/Cache.java +++ b/src/jalview/bin/Cache.java @@ -178,7 +178,7 @@ import org.apache.log4j.SimpleLayout; *
  • FIGURE_AUTOIDWIDTH (false) Expand the left hand column of an exported * alignment figure to accommodate even the longest sequence ID or annotation * label.
    • - *
  • FIGURE_FIXEDIDWIDTH Specifies the width to use for the left-hand column + *
  • FIGURE_USERIDWIDTH Specifies the width to use for the left-hand column * when exporting an alignment as a figure (setting FIGURE_AUTOIDWIDTH to true * will override this).
    • *
  • STRUCT_FROM_PDB (false) derive secondary structure annotation from PDB diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java index f5634d2..55fd185 100644 --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -1274,7 +1274,7 @@ public class AlignmentPanel extends GAlignmentPanel implements } Integer idwidth = null; if (onscreen || (idwidth = Cache - .getIntegerProperty("FIGURE_FIXEDIDWIDTH")) == null) + .getIntegerProperty("FIGURE_USERIDWIDTH")) == null) { int w = getIdPanel().getWidth(); return (w > 0 ? w : calculateIdWidth().width + 4); -- 1.7.10.2