JAL-3141 Fixed vertical size of the example filenames box\! Yay\!
authorBen Soares <bsoares@dundee.ac.uk>
Fri, 24 May 2019 11:32:43 +0000 (12:32 +0100)
committerBen Soares <bsoares@dundee.ac.uk>
Fri, 24 May 2019 11:32:43 +0000 (12:32 +0100)
commite0eedaf4fedaaa46439f40226637376c8eb268be
tree717f97139c590072285f73aa27fc6796e2bf624e
parent27c2e79ddd7e9913b385325798f2ed8a8b084dca
JAL-3141 Fixed vertical size of the example filenames box\! Yay\!
src/jalview/jbgui/GPreferences.java