Change dataset name
authoramwaterhouse <Andrew Waterhouse>
Mon, 12 Dec 2005 15:53:10 +0000 (15:53 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 12 Dec 2005 15:53:10 +0000 (15:53 +0000)
src/jalview/gui/PopupMenu.java

index f9e0d19..07b9fec 100755 (executable)
@@ -823,6 +823,7 @@ public class PopupMenu extends JPopupMenu
             }\r
 \r
             s = s.replace(' ', '_');\r
+            sequence.getDatasetSequence().setName(s);\r
             sequence.setName(s);\r
             ap.repaint();\r
         }\r