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 | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) diff --git a/GroupEditor.java b/GroupEditor.java index 847a6e0..dab62a9 100644 --- a/GroupEditor.java +++ b/GroupEditor.java @@ -1472,8 +1472,8 @@ animationItem.addItemListener(this); animationItem.setState(Globals.ANIMATION); - menu.add(archiveItem = new CheckboxMenuItem("Archive3D...")); - archiveItem.addItemListener(this); + menu.add(archiveItem = new MenuItem("Archive3D...")); + archiveItem.addActionListener(this); menu.add("-"); parseverticesItem = menu.add(new MenuItem("Multiplicity")); @@ -4734,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