GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

*** empty log message ***

Browse Source
This commit is contained in:
janna
2004-02-03 09:22:37 +00:00
parent 294cb085f7
commit 7f3009e2cc
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/JavaGUI/GFEditor2.java
View File

@@ -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('\\','/'));