GroupEditor.java
.. .. @@ -1472,6 +1472,9 @@ 1472 1472 animationItem.addItemListener(this); 1473 1473 animationItem.setState(Globals.ANIMATION); 1474 1474 1475 + menu.add(archiveItem = new CheckboxMenuItem("Archive3D..."));1476 + archiveItem.addItemListener(this);1477 +1475 1478 menu.add("-"); 1476 1479 parseverticesItem = menu.add(new MenuItem("Multiplicity")); 1477 1480 parseverticesItem.addActionListener(this);