DAS Settings tab added
authoramwaterhouse <Andrew Waterhouse>
Wed, 7 Jun 2006 12:56:06 +0000 (12:56 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 7 Jun 2006 12:56:06 +0000 (12:56 +0000)
commit10ddc20a773099eaf0dc4d9d1bbb3b88b4176ed4
treef666a1710d6961fe1b8acd18a2ac2490bd843f6e
parent2bf3234c84daef8cd4474651a8e2f8bfe6cd3ba0
DAS Settings tab added
src/jalview/jbgui/GPreferences.java