JAL-2913 use FIGURE_USERIDWIDTH for fixed id width property
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Wed, 7 Mar 2018 11:04:42 +0000 (11:04 +0000)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Wed, 7 Mar 2018 11:04:42 +0000 (11:04 +0000)
commit13e054c5117102197ee0b22073603a6a38962865
treee71e88c38110449e61fbbbc22db41df964b97498
parentf53b649151f6393c7353ce51cfd02de348d0bd6e
JAL-2913 use FIGURE_USERIDWIDTH for fixed id width property
src/jalview/bin/Cache.java
src/jalview/gui/AlignmentPanel.java