JAL-4133 update validChar width when font is changed so characters are suppressed...
authorJames Procter <j.procter@dundee.ac.uk>
Thu, 23 Feb 2023 11:58:09 +0000 (11:58 +0000)
committerJames Procter <j.procter@dundee.ac.uk>
Thu, 23 Feb 2023 11:58:09 +0000 (11:58 +0000)
commitcfea32f10dfe5cde2b5223d8a6c1c26280ac0185
tree4fe3056059f0db185dabb9bdd02d842853ea00be
parentae447a3691fb85aaf4e27cd6af8a6e0eb3d50530
JAL-4133 update validChar width when font is changed so characters are suppressed for small widths
src/jalview/gui/AlignmentPanel.java
src/jalview/project/Jalview2XML.java