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

gt Term

Browse Source
This commit is contained in:
aarne
2004-05-02 08:21:25 +00:00
parent 126753651a
commit 8d4983cdb2
11 changed files with 90 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/JavaGUI/GFEditor2.java
View File

@@ -66,7 +66,7 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
"erase", "take100", "text", "code", "latexfile",
"structured", "unstructured" };
private String [] modifyMenu = {"Modify", "identity","transfer",
"compute", "paraphrase", "typecheck", "solve", "context" };
"compute", "paraphrase", "generate","typecheck", "solve", "context" };
// private String [] modeMenu = {"Menus", "printname",
// "plain", "short", "long", "typed", "untyped" };
private static String [] newMenu = {"New"};