From 9079880942d022ee32fd3a543843e132e52deb1a Mon Sep 17 00:00:00 2001
From: Normand Briere <nbriere@noware.ca>
Date: Sun, 30 Jun 2019 23:52:19 -0400
Subject: [PATCH] Tree icons.
---
GroupEditor.java | 3 +++
1 files changed, 3 insertions(+), 0 deletions(-)
diff --git a/GroupEditor.java b/GroupEditor.java
index 776ef38..847a6e0 100644
--- a/GroupEditor.java
+++ b/GroupEditor.java
@@ -1472,6 +1472,9 @@
animationItem.addItemListener(this);
animationItem.setState(Globals.ANIMATION);
+ menu.add(archiveItem = new CheckboxMenuItem("Archive3D..."));
+ archiveItem.addItemListener(this);
+
menu.add("-");
parseverticesItem = menu.add(new MenuItem("Multiplicity"));
parseverticesItem.addActionListener(this);
--
Gitblit v1.6.2