From 6600d22461ccc1cb602f238a9ffa83cf07dd830e Mon Sep 17 00:00:00 2001 From: Normand Briere <nbriere@noware.ca> Date: Mon, 01 Jul 2019 18:04:02 -0400 Subject: [PATCH] Get icons 256x256 --- GroupEditor.java | 5 ++++- 1 files changed, 4 insertions(+), 1 deletions(-) diff --git a/GroupEditor.java b/GroupEditor.java index 776ef38..dab62a9 100644 --- a/GroupEditor.java +++ b/GroupEditor.java @@ -1472,6 +1472,9 @@ animationItem.addItemListener(this); animationItem.setState(Globals.ANIMATION); + menu.add(archiveItem = new MenuItem("Archive3D...")); + archiveItem.addActionListener(this); + menu.add("-"); parseverticesItem = menu.add(new MenuItem("Multiplicity")); parseverticesItem.addActionListener(this); @@ -4731,7 +4734,7 @@ void refreshContents(boolean cp) { if (objectPanel.getSelectedIndex() == objectPanel.indexOfTab("Info")) - if (!Globals.MOUSEDRAGGED) // && !Globals.TIMERRUNNING) + if (!Globals.MOUSEDRAGGED && group.selection != null) // && !Globals.TIMERRUNNING) { objEditor.ClearInfo(); // .GetMaterial()); -- Gitblit v1.6.2