Create group from search added
authoramwaterhouse <Andrew Waterhouse>
Fri, 21 Jan 2005 18:33:07 +0000 (18:33 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 21 Jan 2005 18:33:07 +0000 (18:33 +0000)
commit41f95d0ee770d1a11efb8ece7a50b1e219224631
tree1c144e0b6cf64f6752af88da26ef69671d3589ef
parentd5e330e770d94e333309057f45969886a8fb2ad7
Create group from search added
src/jalview/jbgui/GFinder.java