diff options
| author | janna <unknown> | 2004-02-03 09:22:37 +0000 |
|---|---|---|
| committer | janna <unknown> | 2004-02-03 09:22:37 +0000 |
| commit | 7d1d67ee5b52e0940df9479a874e11917b71337e (patch) | |
| tree | 4a2cf91ae6b24fbadced895a0c677adeca3a54fd /src/JavaGUI | |
| parent | 2b8d7943093ff8c103fd439fc07cebb3c8e8cd32 (diff) | |
*** empty log message ***
Diffstat (limited to 'src/JavaGUI')
| -rw-r--r-- | src/JavaGUI/GFEditor2.java | 5 |
1 files changed, 4 insertions, 1 deletions
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('\\','/'));
|