.. | .. |
---|
1472 | 1472 | animationItem.addItemListener(this); |
---|
1473 | 1473 | animationItem.setState(Globals.ANIMATION); |
---|
1474 | 1474 | |
---|
| 1475 | + menu.add(archiveItem = new MenuItem("Archive3D...")); |
---|
| 1476 | + archiveItem.addActionListener(this); |
---|
| 1477 | + |
---|
1475 | 1478 | menu.add("-"); |
---|
1476 | 1479 | parseverticesItem = menu.add(new MenuItem("Multiplicity")); |
---|
1477 | 1480 | parseverticesItem.addActionListener(this); |
---|
.. | .. |
---|
4731 | 4734 | void refreshContents(boolean cp) |
---|
4732 | 4735 | { |
---|
4733 | 4736 | if (objectPanel.getSelectedIndex() == objectPanel.indexOfTab("Info")) |
---|
4734 | | - if (!Globals.MOUSEDRAGGED) // && !Globals.TIMERRUNNING) |
---|
| 4737 | + if (!Globals.MOUSEDRAGGED && group.selection != null) // && !Globals.TIMERRUNNING) |
---|
4735 | 4738 | { |
---|
4736 | 4739 | objEditor.ClearInfo(); // .GetMaterial()); |
---|
4737 | 4740 | |
---|