REPLACE added to edit command
authoramwaterhouse <Andrew Waterhouse>
Thu, 19 Apr 2007 14:42:24 +0000 (14:42 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 19 Apr 2007 14:42:24 +0000 (14:42 +0000)
commit04c49245650f804b89b88b6818fd8add2ef9343e
treec1460db7375b9df461e84b1f17113f044900c7a4
parent5d972bc514ac9c78173432433b0404fda9730a75
REPLACE added to edit command
src/jalview/appletgui/APopupMenu.java
src/jalview/commands/EditCommand.java