JAL-3032 fine tuning appearance of button
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Mon, 15 Jul 2019 12:12:47 +0000 (13:12 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Mon, 15 Jul 2019 12:12:47 +0000 (13:12 +0100)
commit8040d18e9deeb76e7c63f31f5499e369081f793c
tree88888d5cf89703cc4445b62d57dfd84e70ed46ef
parent8f86344f6c23b60a0be5cddef0cce34f9fb049a9
JAL-3032 fine tuning appearance of button
src/jalview/gui/FeatureTypeSettings.java