JAL-244 Changes to Annotation labels width now adjusts the overall idWidth if larger...
authorBen Soares <b.soares@dundee.ac.uk>
Wed, 19 Jul 2023 23:34:55 +0000 (00:34 +0100)
committerBen Soares <b.soares@dundee.ac.uk>
Wed, 19 Jul 2023 23:34:55 +0000 (00:34 +0100)
commitf16c439627f599f52a372704e72ae5464134fa2b
tree400ceff0047c7b53e35575b5f7eb089d248a1914
parentd2fb2e89db496142f167273c671732461e378d64
JAL-244 Changes to Annotation labels width now adjusts the overall idWidth if larger than the alignment idWidth. Will not shrink the width if a manual adjustment has been made.  Can be overridden by preference.  Also fixed buglet of scroll bar not adjusting with manual changes to idWidth.
src/jalview/gui/AlignViewport.java
src/jalview/gui/AlignmentPanel.java
src/jalview/gui/AnnotationLabels.java
src/jalview/gui/IdwidthAdjuster.java