If selection altered, update RubberbandGroup
authoramwaterhouse <Andrew Waterhouse>
Wed, 15 Dec 2004 17:19:15 +0000 (17:19 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 15 Dec 2004 17:19:15 +0000 (17:19 +0000)
commitf65ab8b9feb5f7f36084e254a1a3cb080cd8811b
tree5b3f54864fe0c9fbcc32866653152545a964583f
parent714aae012ecf6cb27e602eaafdb6458b885dc80c
If selection altered, update RubberbandGroup
src/jalview/gui/Selection.java