Add features from Popupmenu
authoramwaterhouse <Andrew Waterhouse>
Thu, 12 Oct 2006 16:14:02 +0000 (16:14 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 12 Oct 2006 16:14:02 +0000 (16:14 +0000)
commit4831e7f2dece110dee88b3fe802d50b845ed9603
tree28f4796c5e28e7e527e417c1a43532cca0cbb5e4
parent4e488d7e3ee2b70b798fd91ae90546462c890212
Add features from Popupmenu
src/jalview/gui/FeatureRenderer.java
src/jalview/gui/Finder.java
src/jalview/gui/PopupMenu.java