From 7f3009e2cc7b96e87178b3b286eda4bcfa510cb2 Mon Sep 17 00:00:00 2001
From: janna <unknown>
Date: Tue, 3 Feb 2004 09:22:37 +0000
Subject: [PATCH] *** empty log message ***

---
 src/JavaGUI/GFEditor2.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/JavaGUI/GFEditor2.java b/src/JavaGUI/GFEditor2.java
index 7043ec8a6..adbeebf12 100644
--- a/src/JavaGUI/GFEditor2.java
+++ b/src/JavaGUI/GFEditor2.java
@@ -1202,8 +1202,11 @@ System.out.println("encoding "+defaultEncoding);
 
             submenu.removeAll();                         
             //menu.removeAllItems();
+            //menu.addItem("New");
+            while (1< menu.getItemCount())
+              menu.removeItemAt(1);
  System.out.println("importing: "+ file.getPath().replace('\\','/'));
-             menu.addItem("New");
+
              fileString ="";
              send("i "+ file.getPath().replace('\\','/'));