JAL-3412 update layout whenever desired id width changes testbuild/JAL-3412_getIdWidth_test
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Mon, 9 Mar 2020 10:26:59 +0000 (10:26 +0000)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Mon, 9 Mar 2020 10:26:59 +0000 (10:26 +0000)
commitc05539a51cc57a9fabb10e01bb7b2e4123da628c
treefceae8a52b4d6564a5a3928b711fbe98026fe55c
parent5442c094270c57798747ee8d974b7ef010f87a82
JAL-3412 update layout whenever desired id width changes
src/jalview/gui/AlignmentPanel.java