JAL-1768 set initial 'enabled' state for id width label as well
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Wed, 2 Sep 2015 15:31:43 +0000 (16:31 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Wed, 2 Sep 2015 15:31:43 +0000 (16:31 +0100)
commit3ae71d6f29b225e943530af34d549c286736a4e4
tree31bae53fdf8b37272d58a3adf99fcd5a5d622754
parent21ff98b0d0e1e2a6b2283090028a3c32273f4aab
JAL-1768 set initial 'enabled' state for id width label as well
src/jalview/gui/Preferences.java