AddToDesktop is synchronized
authoramwaterhouse <Andrew Waterhouse>
Tue, 23 Aug 2005 16:10:53 +0000 (16:10 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 23 Aug 2005 16:10:53 +0000 (16:10 +0000)
commit0149a3aec3e61c36ee788adfbd53bf560407e1e0
tree5841ccea7e9e8bdcb6ed52a0b6d2eeef7ce1ec12
parent771046fa14fd90393329d8ab3c1defbca37576d2
AddToDesktop is synchronized
src/jalview/gui/Desktop.java