Details
-
Type: Bug
-
Status: Closed
-
Priority: Minor
-
Resolution: Fixed
-
Affects Version/s: 2.10.3
-
Fix Version/s: 2.10.4
-
Component/s: printing and export, Properties and Preferences
-
Labels:None
Description
Preferences Output tab has a field for 'Figure ID column width'.
However the value is saved against FIGURE_USERIDWIDTH, but read as FIGURE_FIXEDIDWIDTH (at AlignmentPanel.getVisibleIdWidth()).
FIGURE_FIXEDIDWIDTH is the key listed in the javadoc for Cache.
However the value is saved against FIGURE_USERIDWIDTH, but read as FIGURE_FIXEDIDWIDTH (at AlignmentPanel.getVisibleIdWidth()).
FIGURE_FIXEDIDWIDTH is the key listed in the javadoc for Cache.