git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0619399) | patch
avoid creating lots of identical search results. patch for JAL-751
authorjprocter <Jim Procter>
Tue, 18 Jan 2011 17:40:16 +0000 (17:40 +0000)
committerjprocter <Jim Procter>
Tue, 18 Jan 2011 17:40:16 +0000 (17:40 +0000)
commit583b16c1fe4192dbf4c26722c0c089b764e1c25b
treece3c19f3ba2fc911e6db641ae0480400ff2029a6tree | snapshot
parent06193991d7a4717f15e495ea7bfaa2e7f5d01bdecommit | diff
avoid creating lots of identical search results. patch for JAL-751
src/jalview/structure/StructureSelectionManager.java diff | blob | history