Details
-
Type: Bug
-
Status: Closed
-
Priority: Major
-
Resolution: Fixed
-
Affects Version/s: 2.11.2.7
-
Fix Version/s: 2.11.3.0
-
Component/s: Jalview Project, Properties and Preferences
-
Labels:None
Description
If the configured user font size is changed to something very large, versions of Jalview earlier than 2.11.3, probably all the way back to 2.9 or before, don't always restore the ID margin so it just fits the width for IDs and annotation labels.
Noticed whilst working onJAL-4281 :(
Noticed whilst working on