Parse id before url completion
authoramwaterhouse <Andrew Waterhouse>
Wed, 30 Nov 2005 15:37:59 +0000 (15:37 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 30 Nov 2005 15:37:59 +0000 (15:37 +0000)
commit32ccffc95209f230faacf6f27394669c0dc8b271
treee49fc1da93a10e2d5aea0104cb0228a83b7986bb
parent834d76206f0b9969a04e95e6d19582768f36d1c7
Parse id before url completion
src/jalview/gui/IdPanel.java
src/jalview/gui/PopupMenu.java