convert space to gapchar
authoramwaterhouse <Andrew Waterhouse>
Wed, 2 May 2007 13:02:21 +0000 (13:02 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 2 May 2007 13:02:21 +0000 (13:02 +0000)
commit5c57814f95e73a63e012479651b919fdc4099f53
treec40f7c807aa6c842c07dddce023795a8df371d7f
parent85882b9349f5d4707a43e9bdd4007101d3aa42ec
convert space to gapchar
src/jalview/appletgui/APopupMenu.java
src/jalview/gui/PopupMenu.java