preferredSize for spinners
authoramwaterhouse <Andrew Waterhouse>
Tue, 21 Nov 2006 15:40:11 +0000 (15:40 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 21 Nov 2006 15:40:11 +0000 (15:40 +0000)
commit16c9b6bb251d055244403ff998c8b5c0c0588ffb
tree3550a29d5cd0021cbca5bac782954cf301035b50
parent4ef2163fcc47ef807e841fd21949e63c54f8bb11
preferredSize for spinners
src/jalview/gui/FeatureRenderer.java