JAL-244 Allow wrap manual adjustments to be smaller than the actual id widths.
authorBen Soares <b.soares@dundee.ac.uk>
Thu, 27 Jul 2023 19:14:25 +0000 (20:14 +0100)
committerBen Soares <b.soares@dundee.ac.uk>
Thu, 27 Jul 2023 19:14:25 +0000 (20:14 +0100)
commit3a10cfaddf4f4a0949fbecca95f97ccf1d1ca1d6
treed5880ebd2bcfd43c052f4e734c9f907393e07d26
parent15c3c0e89d9157187e1ccc6962b115cb255dd04a
JAL-244 Allow wrap manual adjustments to be smaller than the actual id widths.
src/jalview/gui/IdCanvas.java
src/jalview/gui/IdwidthAdjuster.java