JAL-4260 attempt to rejig paging when id width is adjusted whilst in wrapped mode.
authorJames Procter <j.procter@dundee.ac.uk>
Wed, 6 Sep 2023 14:28:14 +0000 (15:28 +0100)
committerJames Procter <j.procter@dundee.ac.uk>
Wed, 6 Sep 2023 14:28:14 +0000 (15:28 +0100)
commit930e48ff657a783ae52370e49ff4f5bb5a2a4016
treef45b9ded86df2e58124ea16c4e5d8a6932760d00
parent2863f961e7bbd2609dec8b533fa8cf0805ae2bbb
JAL-4260 attempt to rejig paging when id width is adjusted whilst in wrapped mode.
src/jalview/gui/IdwidthAdjuster.java