Normand Briere
2019-07-01 9079880942d022ee32fd3a543843e132e52deb1a
GroupEditor.java
....@@ -1472,6 +1472,9 @@
14721472 animationItem.addItemListener(this);
14731473 animationItem.setState(Globals.ANIMATION);
14741474
1475
+ menu.add(archiveItem = new CheckboxMenuItem("Archive3D..."));
1476
+ archiveItem.addItemListener(this);
1477
+
14751478 menu.add("-");
14761479 parseverticesItem = menu.add(new MenuItem("Multiplicity"));
14771480 parseverticesItem.addActionListener(this);