change names of space filling panel
authoramwaterhouse <Andrew Waterhouse>
Tue, 16 Nov 2004 15:25:50 +0000 (15:25 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 16 Nov 2004 15:25:50 +0000 (15:25 +0000)
commite5ea4030e3d64c871eae90f4acf22cb5f0ded979
tree24343cd7f09f34a2470e9cf326c179465468d0b0
parentbe81a18dc614d4d778017060945a10a85d5b5c24
change names of space filling panel
src/jalview/jbgui/GAlignmentPanel.java