removed src for 2.9

1 files changed, 0 insertions, 1420 deletions

diff --git a/src/JavaGUI/GFEditor.java b/src/JavaGUI/GFEditor.java
deleted file mode 100644
index 0ebf91e7e..000000000
--- a/src/JavaGUI/GFEditor.java
+++ /dev/null
@@ -1,1420 +0,0 @@
-//package javaGUI;                                 

-

-import java.awt.*;

-import java.awt.event.*;

-import javax.swing.*;

-import javax.swing.text.*;

-import javax.swing.event.*;

-import javax.swing.tree.*;

-import java.io.*;

-import java.util.*;

-//import gfWindow.GrammarFilter;

-

-public class GFEditor extends JFrame implements ActionListener, KeyListener {

-

-    public static boolean debug = true;

-    public static boolean newObject = false;

-    public static boolean finished = false;

-    private String parseInput = "";

-    private String alphaInput = "";

-    private static String status = "status";

-    private static String selectedMenuLanguage = "Abstract";

-    private static String linearization = "";

-    private String termInput = "";    

-    private static String outputString = "";

-    private static String treeString = "";

-    private static String fileString = "";

-    public static Vector commands = new Vector();

-    public static Hashtable nodeTable = new Hashtable();

-    JFileChooser fc1 = new  JFileChooser("./");

-    JFileChooser fc = new  JFileChooser("./");

-    private String [] filterMenu = {"Filter", "identity", 

-         "erase", "take100", "text", "code", "latexfile", 

-                        "structured", "unstructured" };

-    private String [] modifyMenu = {"Modify", "identity","transfer", 

-         "compute", "paraphrase", "typecheck", "solve", "context" };

-//    private String [] modeMenu = {"Menus", "printname", 

-//         "plain", "short", "long", "typed", "untyped" };

-    private static String [] newMenu = {"New"};

-

-    private static boolean firstLin = true;

-    private static boolean waiting = false;

-    public static boolean treeChanged = true;

-    private static String result;

-    private static int selectionStart;

-    private static int selectionEnd;

-    private static BufferedReader fromProc;   

-    private static BufferedWriter toProc;

-    private static String commandPath = new String("GF");

-    private static JTextArea output = new JTextArea();

-    public static DefaultListModel listModel= new DefaultListModel();

-    private JList list = new JList(listModel);

-    private static DynamicTree tree = new DynamicTree();

- 

-    private JLabel grammar = new JLabel("No topic          ");   

-    private JButton save = new JButton("Save");   

-    private JButton open = new JButton("Open");   

-    private JButton newTopic = new JButton("New Topic");   

-    private JButton gfCommand = new JButton("GF command");   

-    

-    private JButton leftMeta = new JButton("?<");   

-    private JButton left = new JButton("<");   

-    private JButton top = new JButton("Top");   

-    private JButton right = new JButton(">");

-    private JButton rightMeta = new JButton(">?");

-    private JButton read = new JButton("Read");   

-  //  private JButton parse = new JButton("Parse");   

-  //  private JButton term = new JButton("Term");   

-    private JButton alpha = new JButton("Alpha");   

-    private JButton random = new JButton("Random");   

-    private JButton undo = new JButton("Undo");   

-

-    private JPanel inputPanel = new JPanel();   

-    private JPanel inputPanel2 = new JPanel();   

-    private JPanel inputPanel3 = new JPanel();   

-    private JButton ok = new JButton("OK");   

-    private JButton cancel = new JButton("Cancel");   

-    private JTextField inputField = new JTextField();   

-    private JLabel inputLabel = new JLabel("Read: ");   

-    private JButton browse = new JButton("Browse...");

-    private ButtonGroup readGroup = new ButtonGroup();

-    private JRadioButton termReadButton = new JRadioButton("Term");

-    private JRadioButton stringReadButton = new JRadioButton("String");

-

-    private JDialog dialog;

-   

-    private static JComboBox menu = new JComboBox(newMenu);      

-    private JComboBox filter = new JComboBox(filterMenu);   

-    private JComboBox modify = new JComboBox(modifyMenu);   

-  //  private JComboBox mode = new JComboBox(modeMenu);   

-

-    private JPanel downPanel = new JPanel();

-    private JSplitPane treePanel; 

-    private JPanel upPanel = new JPanel();

-    private JPanel middlePanel = new JPanel();

-    private JPanel middlePanelUp = new JPanel();

-    private JPanel middlePanelDown = new JPanel();

-    private JSplitPane centerPanel;

-    private static JFrame gui2 = new JFrame();

-    private JPanel centerPanel2= new JPanel();

-    private JPanel centerPanelDown = new JPanel();

-    private JScrollPane outputPanelDown = new JScrollPane(list); 

-    private JScrollPane outputPanelCenter = new JScrollPane(output);

-    private JPanel outputPanelUp = new JPanel();

-    private JPanel statusPanel = new JPanel();

-    private static JLabel statusLabel = new JLabel(status);

-    private    Container cp;

-

-    private   static  JMenuBar menuBar= new JMenuBar();;

-    private   static  ButtonGroup menuGroup = new ButtonGroup();

-    private   JMenu viewMenu= new JMenu("View");

-    private   JMenu submenu= new JMenu("language");

-    private   JMenu modeMenu= new JMenu("Menus");

-    private   static JMenu langMenu= new JMenu("Languages");

-    private   static JMenu fileMenu= new JMenu("File");

-    private JRadioButtonMenuItem rbMenuItem;

-    private JRadioButtonMenuItem rbMenuItemLong;

-   // private JRadioButtonMenuItem rbMenuItemAbs;

-    private JRadioButtonMenuItem rbMenuItemUnTyped;

-    private static JMenuItem fileMenuItem;

-    private static JCheckBoxMenuItem cbMenuItem;

-    private static RadioListener myListener ;     

-    private static ButtonGroup group = new ButtonGroup();

-    private static ButtonGroup languageGroup = new ButtonGroup();

-

-    public GFEditor()

-    {

-        this.addWindowListener(new WindowAdapter() {

-            public void windowClosing(WindowEvent e) {

-              endProgram();

-            }

-        });

-        setJMenuBar(menuBar);

-        setTitle("GF Syntax Editor");

-        viewMenu.setToolTipText("View settings");        

-        fileMenu.setToolTipText("Main operations");

-        langMenu.setToolTipText("Language settings");

-        menuBar.add(fileMenu);

-        menuBar.add(langMenu);                        

-        menuBar.add(viewMenu);

-        menuBar.add(modeMenu);

-

-        cbMenuItem = new JCheckBoxMenuItem("Tree");

-        cbMenuItem.setActionCommand("showTree");

-        myListener = new RadioListener();     

-        cbMenuItem.addActionListener(myListener);

-        cbMenuItem.setSelected(true);

-        viewMenu.add(cbMenuItem);

-        viewMenu.addSeparator();              

-

-        fileMenuItem = new JMenuItem("Open...");

-        fileMenuItem.setActionCommand("open");

-        fileMenuItem.addActionListener(this);     

-        fileMenu.add(fileMenuItem);

-        fileMenuItem = new JMenuItem("New Topic...");

-        fileMenuItem.setActionCommand("newTopic");

-        fileMenuItem.addActionListener(this);     

-        fileMenu.add(fileMenuItem);

-        fileMenuItem = new JMenuItem("Reset");

-        fileMenuItem.setActionCommand("reset");

-        fileMenuItem.addActionListener(this);     

-        fileMenu.add(fileMenuItem);

-        fileMenuItem = new JMenuItem("Save As...");

-        fileMenuItem.setActionCommand("save");

-        fileMenuItem.addActionListener(this);     

-        fileMenu.add(fileMenuItem);

-        fileMenu.addSeparator();

-        fileMenuItem = new JMenuItem("Exit");

-        fileMenuItem.setActionCommand("quit");

-        fileMenuItem.addActionListener(this);     

-        fileMenu.add(fileMenuItem);

-

-        rbMenuItem = new JRadioButtonMenuItem("One window");

-        rbMenuItem.setActionCommand("combine");

-        rbMenuItem.addActionListener(myListener);

-        rbMenuItem.setSelected(true);

-/*        rbMenuItem.setMnemonic(KeyEvent.VK_R);

-        rbMenuItem.setAccelerator(KeyStroke.getKeyStroke(

-                KeyEvent.VK_1, ActionEvent.ALT_MASK));

-        rbMenuItem.getAccessibleContext().setAccessibleDescription(

-                "This doesn't really do anything");

-*/     

-        menuGroup.add(rbMenuItem);

-        viewMenu.add(rbMenuItem);

-

-        rbMenuItem = new JRadioButtonMenuItem("Split windows");

-        rbMenuItem.setMnemonic(KeyEvent.VK_O);

-        rbMenuItem.setActionCommand("split");

-        rbMenuItem.addActionListener(myListener);

-        menuGroup.add(rbMenuItem);

-        viewMenu.add(rbMenuItem);

-

-        modeMenu.add(submenu);

-        

-       /* rbMenuItemAbs = new JRadioButtonMenuItem("Abstract");

-        rbMenuItemAbs.setActionCommand("Abstract");

-        rbMenuItemAbs.addActionListener(myListener);

-        languageGroup.add(rbMenuItemAbs); 

-       */

-

-        modeMenu.addSeparator();              

-        menuGroup = new ButtonGroup();

-        rbMenuItemLong = new JRadioButtonMenuItem("long");

-        rbMenuItemLong.setActionCommand("long");

-        rbMenuItemLong.setSelected(true);

-        rbMenuItemLong.addActionListener(myListener);

-        menuGroup.add(rbMenuItemLong);

-        modeMenu.add(rbMenuItemLong);

-        rbMenuItem = new JRadioButtonMenuItem("short");

-        rbMenuItem.setActionCommand("short");

-        rbMenuItem.addActionListener(myListener);

-        menuGroup.add(rbMenuItem);

-        modeMenu.add(rbMenuItem);

-        modeMenu.addSeparator();              

- 

-        menuGroup = new ButtonGroup();

-        rbMenuItem = new JRadioButtonMenuItem("typed");

-        rbMenuItem.setActionCommand("typed");

-        rbMenuItem.addActionListener(myListener);

-        rbMenuItem.setSelected(false);

-        menuGroup.add(rbMenuItem);

-        modeMenu.add(rbMenuItem);

-        rbMenuItemUnTyped = new JRadioButtonMenuItem("untyped");

-        rbMenuItemUnTyped.setSelected(true);

-        rbMenuItemUnTyped.setActionCommand("untyped");

-        rbMenuItemUnTyped.addActionListener(myListener);

-        menuGroup.add(rbMenuItemUnTyped);

-        modeMenu.add(rbMenuItemUnTyped);

-

-        cp = getContentPane();

-        cp.setLayout(new BorderLayout());

-        output.setToolTipText("Linearizations' display area");   

-        output.setEditable(false);

-        output.setLineWrap(true);

-        output.setWrapStyleWord(true);

-//        output.setSelectionColor(Color.green);

-        output.setSelectionColor(Color.white);

-//        output.setFont(new Font("Arial Unicode MS", Font.PLAIN, 17));

-        output.setFont(new Font(null, Font.PLAIN, 17));

-//        System.out.println(output.getFont().getFontName());

-        gfCommand.setToolTipText("Sending a command to GF");

-        read.setToolTipText("Refining with term or linearization from typed string or file");

-        modify.setToolTipText("Choosing a linearization method");

-        alpha.setToolTipText("Performing alpha-conversion");

-        random.setToolTipText("Generating random refinement");

-        undo.setToolTipText("Going back to the previous state");

-        downPanel.add(gfCommand);

-        //downPanel.add(parse);

-        //downPanel.add(term);  

-        downPanel.add(read);  

-        downPanel.add(modify);   

-        downPanel.add(alpha);     

-        downPanel.add(random);

-        downPanel.add(undo);

-

-        leftMeta.setToolTipText("Moving the focus to the previous metavariable");

-        rightMeta.setToolTipText("Moving the focus to the next metavariable");

-        left.setToolTipText("Moving the focus to the previous term");

-        right.setToolTipText("Moving the focus to the next term");

-        top.setToolTipText("Moving the focus to the top term");       

-        middlePanelUp.add(leftMeta);

-        middlePanelUp.add(left);

-        middlePanelUp.add(top);

-        middlePanelUp.add(right);

-        middlePanelUp.add(rightMeta);

-        middlePanelDown.add(new JLabel("Select Action on Subterm"));

-        middlePanel.setLayout(new BorderLayout());

-        middlePanel.add(middlePanelUp, BorderLayout.NORTH);

-        middlePanel.add(middlePanelDown, BorderLayout.CENTER);

-

-        menu.setToolTipText("The list of available categories to start editing");

-        open.setToolTipText("Reading both a new environment and an editing object from file. Current editing will be discarded");

-        save.setToolTipText("Writing the current editing object to file in the term or text format");

-        grammar.setToolTipText("Current Topic");

-        newTopic.setToolTipText("Reading a new environment from file. Current editing will be discarded.");

-        upPanel.add(grammar);

-        upPanel.add(menu);

-        upPanel.add(open);

-        upPanel.add(save);

-        upPanel.add(newTopic);

-        

-        filter.setToolTipText("Choosing the linearization representation format");

-        modeMenu.setToolTipText("Choosing the refinement options' representation");   

-        statusLabel.setToolTipText("The current focus type");

-        list.setToolTipText("The list of current refinment options");

-        tree.setToolTipText("The abstract syntax tree representation of the current editing object");

-        upPanel.add(filter);

-        //upPanel.add(mode);

-        populateTree(tree); 

-        outputPanelUp.setLayout(new BorderLayout());

-        outputPanelUp.add(outputPanelCenter, BorderLayout.CENTER);

-        outputPanelUp.add(statusPanel, BorderLayout.SOUTH);

-        statusPanel.setLayout(new GridLayout(1,1));

-        statusPanel.add(statusLabel);

-        treePanel = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT,

-                                   tree, outputPanelUp);

-        treePanel.setDividerSize(5);

-        treePanel.setDividerLocation(100);

-        centerPanel2.setLayout(new BorderLayout());

-        gui2.setSize(350,150);

-        gui2.setTitle("Select Action on Subterm");

-        gui2.setLocationRelativeTo(treePanel);

-        centerPanelDown.setLayout(new BorderLayout());

-        centerPanel = new JSplitPane(JSplitPane.VERTICAL_SPLIT,

-                                   treePanel, centerPanelDown);

-        centerPanel.addKeyListener(tree);      

-        centerPanel.setOneTouchExpandable(true);

-        centerPanelDown.add(middlePanel, BorderLayout.NORTH);

-        centerPanelDown.add(outputPanelDown, BorderLayout.CENTER);

-        cp.add(centerPanel, BorderLayout.CENTER);

-        cp.add(upPanel, BorderLayout.NORTH);

-        cp.add(downPanel, BorderLayout.SOUTH);

-

-        list.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);

-

-        MouseListener mouseListener = new MouseAdapter() {

-           public void mouseClicked(MouseEvent e) {

-             if (e.getClickCount() == 2) {

-               listAction(list.locationToIndex(e.getPoint()));

-             }

-           }

-        };

-        list.addMouseListener(mouseListener);

-        list.addKeyListener(this);

-        menu.addActionListener(this);

-        save.addActionListener(this);     

-        open.addActionListener(this);     

-        newTopic.addActionListener(this);

-        gfCommand.addActionListener(this);     

-        

-        filter.addActionListener(this);   

-        filter.setMaximumRowCount(9);  

-        leftMeta.addActionListener(this);     

-        left.addActionListener(this);

-     

-        menu.setFocusable(false);

-        save.setFocusable(false); 

-        save.setActionCommand("save");

-        open.setFocusable(false); 

-        open.setActionCommand("open");

-        newTopic.setFocusable(false);

-        newTopic.setActionCommand("newTopic");

-        gfCommand.setFocusable(false);

-        

-        filter.setFocusable(false);

-        leftMeta.setFocusable(false);

-        left.setFocusable(false);  

-               

-        top.addActionListener(this);     

-        right.addActionListener(this);     

-        rightMeta.addActionListener(this);     

-        //parse.addActionListener(this);     

-        //term.addActionListener(this);     

-        read.addActionListener(this);     

-        modify.addActionListener(this);     

-        //mode.addActionListener(this);     

-        alpha.addActionListener(this);     

-        random.addActionListener(this);     

-        undo.addActionListener(this);

-

-        top.setFocusable(false);  

-        right.setFocusable(false);  

-        rightMeta.setFocusable(false);  

-        //parse.setFocusable(false);  

-        //term.setFocusable(false);  

-        read.setFocusable(false);  

-        modify.setFocusable(false);  

-        //mode.setFocusable(false);  

-        alpha.setFocusable(false);  

-        random.setFocusable(false);  

-        undo.setFocusable(false);  

-

-        output.addKeyListener(tree);            

-	setSize(800,730);

-	outputPanelUp.setPreferredSize(new Dimension(500,300));

-        treePanel.setDividerLocation(0.3);

-        nodeTable.put(new TreePath(DynamicTree.rootNode.getPath()), new Integer(0));

-        setVisible(true);

-

-        JRadioButton termButton = new JRadioButton("Term");

-        termButton.setActionCommand("term");

-        termButton.setSelected(true);  

-        JRadioButton linButton = new JRadioButton("Text");

-        linButton.setActionCommand("lin");

-        // Group the radio buttons.

-        group.add(linButton);

-        group.add(termButton);

-        JPanel buttonPanel = new JPanel();

-        buttonPanel.setPreferredSize(new Dimension(70, 70));

-        buttonPanel.add(new JLabel("Format:"));

-        buttonPanel.add(linButton);

-        buttonPanel.add(termButton);

-        fc1.setAccessory(buttonPanel);

-

-        termReadButton.setActionCommand("term");

-        stringReadButton.setSelected(true);  

-        stringReadButton.setActionCommand("lin");

-        // Group the radio buttons.

-        readGroup.add(stringReadButton);

-        readGroup.add(termReadButton);

-        JPanel readButtonPanel = new JPanel();

-        readButtonPanel.setLayout(new GridLayout(3,1));

-        readButtonPanel.setPreferredSize(new Dimension(70, 70));

-        readButtonPanel.add(new JLabel("Format:"));

-        readButtonPanel.add(stringReadButton);

-        readButtonPanel.add(termReadButton);

-        dialog= new JDialog(this, "Input");

-        dialog.setLocationRelativeTo(this);

-        dialog.getContentPane().add(inputPanel);

-        inputPanel.setLayout(new BorderLayout(10,10));

-        inputPanel3.setLayout(new GridLayout(2,1,5,5));

-        inputPanel3.add(inputLabel);

-        inputPanel3.add(inputField);

-        ok.addActionListener(this);

-        browse.addActionListener(this);

-        cancel.addActionListener(this);

-        inputField.setPreferredSize(new Dimension(300,23));

-        inputPanel.add(inputPanel3, BorderLayout.CENTER);

-        inputPanel.add(new JLabel(" "), BorderLayout.WEST);

-        inputPanel.add(readButtonPanel, BorderLayout.EAST);

-        inputPanel.add(inputPanel2, BorderLayout.SOUTH);

-        inputPanel2.add(ok);

-        inputPanel2.add(cancel);

-        inputPanel2.add(browse);

-        dialog.setSize(350,135);                                          

-

-          try {

-            result = fromProc.readLine();

-            while(result != null)  {                  

-              finished = false;

-              if (debug) System.out.println("1 "+result);

-              while (result.indexOf("gf")==-1){                          

-                outputString +=result+"\n";

-                result = fromProc.readLine();

-                if (debug) System.out.println("1 "+result);

-              }

-              output.append(outputString);

-              while ((result.indexOf("newcat")==-1)&&(result.indexOf("<lin ")==-1)){

-                result = fromProc.readLine();

-                if (debug) System.out.println("1 "+result);

-              }

-              if (result.indexOf("<lin ")==-1)

-                formNewMenu();                   

-

-              if (!finished) { 

-

-                while ((result.length()==0)||(result.indexOf("<lin ")==-1)) {

-                  result = fromProc.readLine();

-                  if (result!=null){

-                    if (debug) System.out.println("10 "+result);                    

-                  }

-                  else System.exit(0);

-                }

-                readLin();

-                readTree();

-                readMessage();

-                if (newObject)

-                  formSelectMenu();                 

-                else {

-                  while(result.indexOf("</menu")==-1) {

-                    result = fromProc.readLine();

-                     if (debug) System.out.println("12 "+result);                    

-                  }

-                }

-                for (int i=0; i<3; i++){ 

-                  result = fromProc.readLine();

-                  if (debug) System.out.println("11 "+result);                    

-                }                                   

-              }

-            }           

-            output.append("*** NOTHING MORE TO READ FROM " + commandPath + "\n");

-          } catch (IOException e) {

-          System.out.println("Could not read from external process");

-        }

-   }

-

-    public static void send(String text){

-       try {

-             output.setText("");

-             outputString = ""; 

-             if (debug) System.out.println("output cleared");     

-             toProc.write(text, 0, text.length());

-             toProc.newLine();

-             toProc.flush();

-       } catch (IOException e) {

-          System.out.println("Could not write to external process");

-       }  

-    }            

-

-    public void endProgram(){

-          send("q");     

-          System.exit(0);

-    }

-                        

-    public static void main(String args[])

-    { 

-        Locale.setDefault(Locale.US);

-        try {

-            Process extProc = Runtime.getRuntime().exec(args[0]); 

-            fromProc = new BufferedReader (new InputStreamReader(

-                           extProc.getInputStream(),"UTF8"));

-            toProc = new BufferedWriter(new OutputStreamWriter(extProc.getOutputStream()));

-            /*  try {

-                  UIManager.setLookAndFeel(

-                  //UIManager.getSystemLookAndFeelClassName() );         

-                  "com.sun.java.swing.plaf.windows.WindowsLookAndFeel");

-                } catch (Exception e) { }

-            */

-            GFEditor gui = new GFEditor();

-            

-        } catch (IOException e) {

-            System.out.println("Could not start " + commandPath);

-        }

-    }

-

-    public static void formSelectMenu (){

-      if (debug) System.out.println("list model changing! ");      

-      String s ="";

-      try {

-        //read item

-        result = fromProc.readLine();

-        if (debug) System.out.println("8 "+result);

-        listModel.clear();

-        commands.clear();

-        while (result.indexOf("/menu")==-1){

-          //read show

-          result = fromProc.readLine();

-          if (debug) System.out.println("8 "+result);

-          while (result.indexOf("/show")==-1){          

-            result = fromProc.readLine();

-            if (debug) System.out.println("9 "+result);

-            if (result.indexOf("/show")==-1) 

-            {

-              if (result.length()>8)

-                  s+=result.trim();

-              else

-                s+=result;    

-            }

-          }            

-//          if (s.charAt(0)!='d')

-//            listModel.addElement("Refine " + s);

-//          else 

-          listModel.addElement(s);

-          s="";

-          //read /show

-          //read send

-          result = fromProc.readLine();

-          if (debug) System.out.println("8 "+result);

-          result = fromProc.readLine();

-          if (debug) System.out.println("8 "+result);

-          saveCommand();

-          // read /item

-          result = fromProc.readLine();

-          if (debug) System.out.println("8 "+result);

-          result = fromProc.readLine();

-          if (debug) System.out.println("8 "+result);

-        }

-     } catch(IOException e){ }

-   }

-

-   public static void saveCommand(){

-     if (newObject) commands.add(result);

-     try {            

-        result = fromProc.readLine();             

-        if (debug) System.out.println("9 "+result);          

-     } catch(IOException e){ }

-   }

-

-   public void readLin(){

-      try {

-        linearization="";  

-        linearization += result+"\n";           

-        result = fromProc.readLine();

-        if (debug) System.out.println("6 "+result);

-        while (result.indexOf("/linearization")==-1){       

-          linearization += result+"\n";           

-          result = fromProc.readLine();

-          if (debug) System.out.println("6 "+result);                     

-        }

-        if (newObject) formLin();               

-        result = fromProc.readLine();             

-        if (debug) System.out.println("6 "+result);          

-     } catch(IOException e){ }

-   }

-

-   public static void readTree(){

-      try {

-        result = fromProc.readLine();

-        if (debug) System.out.println("6 "+result);

-        while (result.indexOf("/tree")==-1){       

-          treeString += result+"\n";           

-          result = fromProc.readLine();

-          if (debug) System.out.println("6 "+result);                     

-        }

-        if (treeChanged && (newObject)) {

-          formTree(tree); 

-          treeChanged = false;  

-        } 

-        treeString="";                     

-        result = fromProc.readLine();             

-        if (debug) System.out.println("6 "+result);          

-     } catch(IOException e){ }

-   }

-

-   public static void readMessage(){

-      String s ="";

-      try {

-        result = fromProc.readLine();

-        if (debug) System.out.println("7 "+result);

-        while (result.indexOf("/message")==-1){       

-          s += result+"\n";           

-          result = fromProc.readLine();

-          if (debug) System.out.println("7 "+result);                     

-        }

-        if (s.length()>1)

-          output.append("-------------"+'\n'+s);  

-        result = fromProc.readLine();             

-        if (debug) System.out.println("7 "+result);          

-     } catch(IOException e){ }

-   }

-                       

-  public void formNewMenu () {

-    boolean more = true;

-    try {

-      result = fromProc.readLine();

-      if (debug) System.out.println("2 "+result);

-

-      while (more){

-        if (result.indexOf("language")==-1) {

-          menu.addItem(result.substring(6));                       

-        } 

-        else 

-          more = false;

-        result = fromProc.readLine();

-        if (debug) System.out.println("2 "+result); 

-        result = fromProc.readLine();

-        if (debug) System.out.println("3 "+result); 

-        if (result.indexOf("language")!=-1) 

-          more = false; 

-        result = fromProc.readLine();             

-        if (debug) System.out.println("4 "+result);       

-      }

-

-      more = true;

-      while (more){

-        if ((result.indexOf("/gf")==-1)&&(result.indexOf("lin")==-1)) {         

-          //form lang and Menu menu: 

-          cbMenuItem = new JCheckBoxMenuItem(result.substring(4));

-          if (debug) System.out.println ("menu item: "+result.substring(4));   

-          cbMenuItem.setSelected(true);

-          cbMenuItem.setActionCommand("lang");

-          cbMenuItem.addActionListener(myListener);

-          langMenu.add(cbMenuItem);

-/*          if ((result.substring(4)).equals("Abstract"))

-          {

-             submenu.add(rbMenuItemAbs);

-             if (selectedMenuLanguage.equals("Abstract"))

-               rbMenuItemAbs.setSelected(true);

-               languageGroup.add(rbMenuItemAbs); 

-          }

-          else

-          {

-*/

-             rbMenuItem = new JRadioButtonMenuItem(result.substring(4));

-             rbMenuItem.setActionCommand(result.substring(4));

-             rbMenuItem.addActionListener(myListener);

-             languageGroup.add(rbMenuItem);

-             if ((result.substring(4)).equals(selectedMenuLanguage))

-             {

-                System.out.println("Selecting "+selectedMenuLanguage);

-                rbMenuItem.setSelected(true);

-             }

-

-             submenu.add(rbMenuItem);

-// }

-        } 

-        else 

-          more = false;

-        // read </language>

-        result = fromProc.readLine();

-        if (debug) System.out.println("2 "+result); 

-        // read <language> or </gf...>

-        result = fromProc.readLine();

-        if (debug) System.out.println("3 "+result); 

-        if ((result.indexOf("/gf")!=-1)||(result.indexOf("lin")!=-1)) 

-          more = false; 

-        if (result.indexOf("/gf")!=-1)

-          finished = true;

-        // registering the file name:

-        if (result.indexOf("language")!=-1) {

-          String path = result.substring(result.indexOf('=')+1,

-                                         result.indexOf('>')); 

-          path =path.substring(path.lastIndexOf('/')+1);

-          if (debug) System.out.println("name: "+path);

-          fileString +="--" + path +"\n";

-          if (path.lastIndexOf('.')!=path.indexOf('.'))

-            grammar.setText(path.substring(0,

-                 path.indexOf('.')).toUpperCase()+"          ");

-        }

-        result = fromProc.readLine();             

-        if (debug) System.out.println("4 "+result);               

-      }

-      System.out.println("languageGroupElement formed"+ 

-                            languageGroup.getButtonCount());                   

-      langMenu.addSeparator();

-      fileMenuItem = new JMenuItem("Add...");

-      fileMenuItem.setActionCommand("import");

-      fileMenuItem.addActionListener(this);     

-      langMenu.add(fileMenuItem);

-      // in order to get back in main in the beggining of while:

-      result = fromProc.readLine();

-    } catch(IOException e){ }

-  }

-

-  public void 	outputAppend(){

-    int i, j, k, l, l2, m;

-    l = result.indexOf("<focus");

-    i=result.indexOf("type=",l);

-    j=result.indexOf('>',i);

-    l2 = result.indexOf("focus");    

-    if (l2!=-1){

-

-      // in case focus tag is cut into two lines:

-      if (l==-1) l=l2-7;         

-

-      if (debug) System.out.println("form Lin1: "+result);

-      statusLabel.setText(" "+result.substring(i+5,j));

-      //cutting <focus>

-      result= result.substring(0,l)+result.substring(j+1);

-      i=result.indexOf("/focus",l);

-      if (debug) System.out.println("/ is at the position"+i);

-      j=result.indexOf('>',i);

-      k=result.length()-j;

-      if (debug) System.out.println("form Lin2: "+result);

-      m = output.getText().length();

-      

-      //cutting </focus>    

-      // in case focus tag is cut into two lines:

-      if (debug)

-        System.out.println("char at the previous position"+result.charAt(i-1));

-      if (result.charAt(i-1)!='<') 

-        result= result.substring(0,i-8)+result.substring(j+1);

-      else

-        result= result.substring(0,i-1)+result.substring(j+1);

-      j= result.indexOf("<focus");

-      l2 = result.indexOf("focus");    

-      // in case focus tag is cut into two lines:

-      if ((l2!=-1)&&(j==-1)) j=l2-7;

-      // only one focus 

-      if (j==-1){

-        output.append(result+'\n'); 

-        selectionStart=m+l;

-        selectionEnd=output.getText().length()-k; 

-        try {  

-          output.getHighlighter().addHighlight(selectionStart, selectionEnd, new DefaultHighlighter.DefaultHighlightPainter(Color.green) );

-//          output.getHighlighter().addHighlight(selectionStart, selectionEnd, new DefaultHighlighter.DefaultHighlightPainter(Color.white) );

-        } catch (Exception e) {}

-      } 

-      //several focuses

-      else {

-        output.append(result.substring(0,j));           

-        result = result.substring(j); 

-        selectionStart=m+l;

-        selectionEnd=m+i-1; 

-        try {  

-//          output.getHighlighter().addHighlight(selectionStart, selectionEnd, new DefaultHighlighter.DefaultHighlightPainter(Color.green) );

-          output.getHighlighter().addHighlight(selectionStart, selectionEnd, new DefaultHighlighter.DefaultHighlightPainter(Color.white) );

-        } catch (Exception e) {}

-        outputAppend();

-      }

-      if (debug) System.out.println("form Lin3: "+result);

-    }   

-    else 

-      output.append(result+'\n');          

-    firstLin=false;

-  }

-

-  public void formLin(){

-    boolean visible=true; 

-    firstLin=true; 

-    result = linearization.substring(0,linearization.indexOf('\n'));

-    String lin = linearization.substring(linearization.indexOf('\n')+1);

-    //extract the language from result

-    int ind = result.indexOf('=');

-    int ind2 = result.indexOf('>');

-    String s = result.substring(ind+1,ind2);

-    result = lin.substring(0,lin.indexOf("</lin>"));

-    lin = lin.substring(lin.indexOf("</lin>"));

-    while (lin.length()>1) {

-      //check if the language is on     

-      if (!visible) visible = true;       

-      // in the list?

-      for (int i=0; i<langMenu.getItemCount()-2;i++)        

-        if (langMenu.getItem(i).getText().equals(s))

-        {

-          visible = false;

-          break; 

-        }

-      if (!visible) visible = true;       

-      else {

-        //add item to the language list:

-        cbMenuItem = new JCheckBoxMenuItem(s);

-        if (debug) System.out.println ("menu item: "+s);   

-        cbMenuItem.setSelected(true);

-        cbMenuItem.setActionCommand("lang");

-        cbMenuItem.addActionListener(myListener);

-        if (langMenu.getItemCount()<2)

-          langMenu.add(cbMenuItem, langMenu.getItemCount());  

-        else

-          langMenu.add(cbMenuItem, langMenu.getItemCount()-2);  

-

-        rbMenuItem = new JRadioButtonMenuItem(s);

-        rbMenuItem.setActionCommand(s);

-        rbMenuItem.addActionListener(myListener);

-        languageGroup.add(rbMenuItem);

-        submenu.add(rbMenuItem);

-

-      }

-      // selected?

-      for (int i=0; i<langMenu.getItemCount()-2;i++)

-        if ((langMenu.getItem(i).getText().equals(s))&&

-                    !(langMenu.getItem(i).isSelected()) ) {

-          visible = false;

-          break; 

-        }

-      if (visible) {   

-        if (!firstLin)

-          output.append("************"+'\n');  

-        if (debug) System.out.println("linearization for the language: "+result);

-        outputAppend();

-      }

-      // read </lin>

-      lin = lin.substring(lin.indexOf('\n')+1);

-      // read lin or 'end'

-      if (lin.length()<1) break;

-       

-      result = lin.substring(0,lin.indexOf('\n'));

-      lin = lin.substring(lin.indexOf('\n')+1);

-      if (result.indexOf("<lin ")!=-1){

-        //extract the language from result

-        ind = result.indexOf('=');

-        ind2 = result.indexOf('>');

-        s = result.substring(ind+1,ind2);

-        result = lin.substring(0,lin.indexOf("</lin>"));

-        lin = lin.substring(lin.indexOf("</lin>"));

-      }  

-    }

-  }

-

-  public void actionPerformed(ActionEvent ae)

-  {  

-    boolean abs = true;

-    Object obj = ae.getSource();

-    if ( obj == menu ) {

-      if (!menu.getSelectedItem().equals("New"))           

-      { 

-        treeChanged = true; 

-        send("n " + menu.getSelectedItem());

-        newObject = true;

-        menu.setSelectedIndex(0);

-      }

-    }

-    if ( obj == filter ) {

-      if (!filter.getSelectedItem().equals("Filter"))           

-      { 

-        send("f " + filter.getSelectedItem());

-        filter.setSelectedIndex(0);

-      }

-    }

-    if ( obj == modify ) {

-      if (!modify.getSelectedItem().equals("Modify"))           

-      { 

-        treeChanged = true; 

-        send("c " + modify.getSelectedItem());

-        modify.setSelectedIndex(0);

-      }

-    }

-/*    if ( obj == mode ) {

-      if (!mode.getSelectedItem().equals("Menus"))           

-      {  

-        send("o " + mode.getSelectedItem());

-        mode.setSelectedIndex(0);              

-      }               

-    }

-*/

-    // buttons and menu items: 

-    try {

-      if (Class.forName("javax.swing.AbstractButton").isInstance(obj)) {

-        String name =((AbstractButton)obj).getActionCommand();

-

-        if ( name.equals("quit")) {

-          endProgram();

-        }

-              

-        if ( name.equals("save") ) {

- 

-          if (fc1.getChoosableFileFilters().length<2)

-            fc1.addChoosableFileFilter(new GrammarFilter()); 

-          int returnVal = fc1.showSaveDialog(GFEditor.this);

-          if (returnVal == JFileChooser.APPROVE_OPTION) {

-            File file = fc1.getSelectedFile();

-            if (debug) System.out.println("saving ... ");

-

-            // checking if the abstract syntax is on:

-            for (int i=0; i<langMenu.getItemCount()-2;i++)

-              if ((langMenu.getItem(i).getText().equals("Abstract"))&&

-                 !(langMenu.getItem(i).isSelected()) ) {

-                if (debug) System.out.println("No Abstract syntax !!!!");

-                  abs = false;

-                  break; 

-                }

-

-            String text = output.getText();

-            int end = text.indexOf("******");

-

-            // saving as a term:

-            if (group.getSelection().getActionCommand().equals("term")) {

-              if (end !=-1)

-                if (abs) {

-                  writeOutput(fileString+text.substring(0, end), file.getPath());

-                  abs=true;

-                }

-                else {

-                  int i = linearization.indexOf('\n');

-                  int j = linearization.indexOf("/lin");

-                  writeOutput(fileString+linearization.substring(i+1, j-1), file.getPath());

-                } 

-              else

-                JOptionPane.showMessageDialog(this, "No term to save");   

-            }  

-            // saving as a linearization:

-            else  

-                // abstract syntax is shown:

-                if (abs){

-                  end =  text.indexOf('\n', end);

-                  writeOutput(fileString+text.substring(end), file.getPath());

-                  abs = true;

-                }

-                else

-                  writeOutput(fileString+text, file.getPath());

-           }           

-         }

-

-         if ( name.equals("open") ) {

-           if (fc1.getChoosableFileFilters().length<2)

-             fc1.addChoosableFileFilter(new GrammarFilter()); 

-           int returnVal = fc1.showOpenDialog(GFEditor.this);

-           if (returnVal == JFileChooser.APPROVE_OPTION) {

-

-           /* "sending" should be fixed on the GF side:

-             rbMenuItemLong.setSelected(true);

-             send("ms long");

-             rbMenuItemUnTyped.setSelected(true);

-             send("mt untyped");

-             selectedMenuLanguage = "Abstract";

-             rbMenuItemAbs.setSelected(true);

-             send("ml Abs");

-           */

-

-             treeChanged = true; 

-             newObject = true;

-             menu.removeAllItems();

-             menu.addItem("New");

-             langMenu.removeAll();

-

-             AbstractButton ab = null;

-

-           while (languageGroup.getButtonCount()>0)

-           {

-             for (Enumeration e = languageGroup.getElements(); 

-                                      e.hasMoreElements() ;) 

-             {

-               ab = (AbstractButton)e.nextElement();

-               System.out.println("more to remove ! "+ab.getText()); 

-               languageGroup.remove(ab);

-             }

-             System.out.println("languageGroupElement after import removal "+ 

-                            languageGroup.getButtonCount());                   

-           }

-             submenu.removeAll();

-

-             File file = fc1.getSelectedFile();

-	     // opening the file for editing :

-             if (debug) System.out.println("opening: "+ file.getPath().replace('\\','/'));

-             if (group.getSelection().getActionCommand().equals("term")) {

-               if (debug) System.out.println(" opening as a term ");

-               send("open "+ file.getPath().replace('\\','/'));         

-             }

-             else {

-               if (debug) System.out.println(" opening as a linearization ");

-               send("openstring "+ file.getPath().replace('\\','/'));

-             }

-

-             fileString ="";

-             grammar.setText("No Topic          ");

-           }           

-         }

-

-         if ( name.equals("import") ) {

-           if (fc.getChoosableFileFilters().length<2)

-             fc.addChoosableFileFilter(new GrammarFilter()); 

-           int returnVal = fc.showOpenDialog(GFEditor.this);

-           if (returnVal == JFileChooser.APPROVE_OPTION) {

-             File file = fc.getSelectedFile();

-	     // importing a new language :

-             if (debug) System.out.println("importing: "+ file.getPath());

-

-             langMenu.removeAll();

-

-             AbstractButton ab = null;

-

-           while (languageGroup.getButtonCount()>0)

-           {

-             for (Enumeration e = languageGroup.getElements(); 

-                                      e.hasMoreElements() ;) 

-             {

-               ab = (AbstractButton)e.nextElement();

-               System.out.println("more to remove ! "+ab.getText()); 

-               languageGroup.remove(ab);

-             }

-             System.out.println("languageGroupElement after import removal "+ 

-                            languageGroup.getButtonCount());                   

-           }

-

-             submenu.removeAll();

-

-             menu.removeAllItems();

-             menu.addItem("New");

-             fileString ="";

-             send("i "+ file.getPath().replace('\\','/'));

-

-           }           

-         }

-         if ( name.equals("newTopic") ) {

-           if (fc.getChoosableFileFilters().length<2)

-             fc.addChoosableFileFilter(new GrammarFilter()); 

-           int returnVal = fc.showOpenDialog(GFEditor.this);

-           if (returnVal == JFileChooser.APPROVE_OPTION) {

-             int n = JOptionPane.showConfirmDialog(this,

-               "This will dismiss the previous editing. Would you like to continue?",

-                     "Starting a new topic", JOptionPane.YES_NO_OPTION);

-             if (n == JOptionPane.YES_OPTION){

-               File file = fc.getSelectedFile();

-               // importing a new grammar :                

-               newObject = false; 

-               statusLabel.setText(status); 

-               listModel.clear();

-               tree.clear();

-               populateTree(tree);

-               menu.removeAllItems();

-               menu.addItem("New");

-               langMenu.removeAll();

-

-             AbstractButton ab = null;

-

-           while (languageGroup.getButtonCount()>0)

-           {

-             for (Enumeration e = languageGroup.getElements(); 

-                                      e.hasMoreElements() ;) 

-             {

-               ab = (AbstractButton)e.nextElement();

-               System.out.println("more to remove ! "+ab.getText()); 

-               languageGroup.remove(ab);

-             }

-             System.out.println("languageGroupElement after import removal "+ 

-                            languageGroup.getButtonCount());                   

-           }

-

-               selectedMenuLanguage = "Abstract";

-               rbMenuItemLong.setSelected(true);

-               rbMenuItemUnTyped.setSelected(true);

-               submenu.removeAll();

- 

-               fileString="";

-               grammar.setText("No Topic          ");

-               send("e "+ file.getPath().replace('\\','/'));

-             }

-           }           

-         }

-

-         if ( obj == gfCommand ){

-           String s = JOptionPane.showInputDialog("Command:", parseInput);

-           if (s!=null) {

-              parseInput = s;

-              s = "gf "+s;

-              //treeChanged = true; 

-              send(s);

-           }

-        }

-

-        if ( name.equals("reset") ) {

-              newObject = false; 

-              statusLabel.setText(status); 

-              listModel.clear();

-              tree.clear();

-              populateTree(tree);

-              menu.removeAllItems();

-              menu.addItem("New");

-              langMenu.removeAll();

-

-             AbstractButton ab = null;

-

-           while (languageGroup.getButtonCount()>0)

-           {

-             for (Enumeration e = languageGroup.getElements(); 

-                                      e.hasMoreElements() ;) 

-             {

-               ab = (AbstractButton)e.nextElement();

-               System.out.println("more to remove ! "+ab.getText()); 

-               languageGroup.remove(ab);

-             }

-             System.out.println("languageGroupElement after import removal "+ 

-                            languageGroup.getButtonCount());                   

-           }

-

-               selectedMenuLanguage = "Abstract";

-

-               submenu.removeAll();

-               rbMenuItemLong.setSelected(true);

-               rbMenuItemUnTyped.setSelected(true);

-

-              fileString="";

-              grammar.setText("No Topic          ");

-              send("e");

-        }

-

-        if ( obj == leftMeta ) {

-           treeChanged = true; 

-           send("<<");

-        }

-        if ( obj == left ) {

-           treeChanged = true; 

-           send("<");

-        }

-        if ( obj == top ) {

-           treeChanged = true; 

-           send("'");

-        }

-        if ( obj == right ) {

-           treeChanged = true; 

-           send(">");

-        }

-        if ( obj == rightMeta ) {

-           treeChanged = true; 

-           send(">>");

-        }

-

-        if ( obj == cancel ) {

-          dialog.hide();

-        }

-

-        if ( obj == browse ) {

-           if (fc.getChoosableFileFilters().length<2)

-             fc.addChoosableFileFilter(new GrammarFilter()); 

-           int returnVal = fc.showOpenDialog(GFEditor.this);

-           if (returnVal == JFileChooser.APPROVE_OPTION) {

-               File file = fc.getSelectedFile();

-               inputField.setText(file.getPath().replace('\\','/'));

-           }

-        }

-     

-        if ( obj == ok ) {

-           treeChanged = true; 

-           if (termReadButton.isSelected()) { 

-             termInput = inputField.getText();

-             if (termInput.indexOf('/')==-1){

-               send("g "+termInput); 

-               System.out.println("sending term  string");

-             }

-             else {

-               send("tfile "+termInput);                           

-               System.out.println("sending file term: "+termInput);          

-             }

-           }   

-           else {

-             parseInput = inputField.getText();

-             if (parseInput.indexOf('/')==-1){

-               send("p "+parseInput);        

-               System.out.println("sending parse string"+parseInput);

-             }   

-             else {

-               send("pfile "+parseInput);           

-               System.out.println("sending file parse string: "+parseInput);          

-             }

-           }

-           dialog.hide();

-        }

-

-        if ( obj == read ) {

-          if (stringReadButton.isSelected())

-            inputField.setText(parseInput);

-          else

-            inputField.setText(termInput);

-          dialog.show();

-        }   

-

-/*        if ( obj == term ) {

-          inputLabel.setText("Term:");

-          inputField.setText(termInput);

-          dialog.show();

-        }

-        if ( obj == parse ) {

-          inputLabel.setText("Parse:");

-          inputField.setText(parseInput);

-          dialog.show();

-        }

-*/

-        if ( obj == alpha){

-           String s = JOptionPane.showInputDialog("Type string:", alphaInput);

-           if (s!=null) {

-               alphaInput = s;

-               treeChanged = true; 

-               send("x "+s);

-           }      

-        }

-        if ( obj == random){

-           treeChanged = true; 

-           send("a");

-        }

-        if ( obj == undo){

-           treeChanged = true; 

-           send("u");

-        }

-      }

-    } catch (Exception e){}

-  }

-  static void writeOutput(String str, String fileName) {

-

-       try {

-           FileOutputStream fos = new FileOutputStream(fileName);

-           Writer out = new OutputStreamWriter(fos, "UTF8");

-           out.write(str);

-           out.close();

-       } catch (IOException e) {

-              JOptionPane.showMessageDialog(null, 

-             "Document is empty!","Error", JOptionPane.ERROR_MESSAGE);

-       }

-   }

-    public static void populateTree(DynamicTree treePanel) {

-        String p1Name = new String("Root");

-        DefaultMutableTreeNode p1;

-        p1 = treePanel.addObject(null, p1Name);

-    }

-

-    public static void formTree(DynamicTree treePanel) {

-        Hashtable table = new Hashtable();

-        TreePath path=null;

-        boolean treeStarted = false, selected = false;  

-        String s = treeString;

-        String name ="";

-        treePanel.clear();

-        int j, shift=0, star=0, index = 0;

-        DefaultMutableTreeNode p2=null, p1=null;

-        if (debug) System.out.print("treeString: "+ s);

-        if (s.indexOf('*')!=-1) star = 1; 

-        while (s.length()>0) {

-            while ((s.length()>0) && ((s.charAt(0)=='*')||(s.charAt(0)==' '))){      

-               if (s.charAt(0) == '*') selected = true;

-               s = s.substring(1);     

-               shift++;  

-            }             

-            if (s.length()>0) {

-               j = s.indexOf("\n");      

-               name = s.substring(0, j);     

-               index++;

-               s = s.substring(j+1);    

-               shift = (shift - star)/2;

-

-               p1 = (DefaultMutableTreeNode)table.get(new Integer(shift));

-               p2 = treePanel.addObject(p1, name);  

-               table.put(new Integer(shift+1), p2);

-               path = new TreePath(p2.getPath());

-               nodeTable.put(path, new Integer(index));

-               if (selected) {                        

-                       treePanel.tree.setSelectionPath(path);              

-                       treePanel.oldSelection = index;

-                       if (debug) System.out.println("new selected index "+ index);

-                       selected = false;

-               }

-               treeStarted=true;               

-            }

-            shift = 0;

-        }

-        if ((p2!=null)) {

-           treePanel.tree.makeVisible(path); 

-           gui2.toFront();

-           index = 0;

-        }

-    }

-

-    /** Listens to the radio buttons. */

-    class RadioListener implements ActionListener { 

-      public void actionPerformed(ActionEvent e) {

-        String action = e.getActionCommand();

-        if (action.equals("split") ) {

-          cp.remove(centerPanel);

-          centerPanel2.add(middlePanelUp, BorderLayout.SOUTH);

-          if (((JCheckBoxMenuItem)viewMenu.getItem(0)).isSelected()) {             

-            centerPanel2.add(treePanel, BorderLayout.CENTER);

-          }

-          else {

-            centerPanel2.add(outputPanelUp, BorderLayout.CENTER);

-          } 

-          cp.add(centerPanel2, BorderLayout.CENTER);                 

-          gui2.getContentPane().add(outputPanelDown);

-          gui2.setVisible(true);

-          pack();

-          repaint();                                       

-        }

-        if (action.equals("combine") ) {

-          cp.remove(centerPanel2);  

-          middlePanel.add(middlePanelUp, BorderLayout.NORTH);

-          if (((JCheckBoxMenuItem)viewMenu.getItem(0)).isSelected()) {                         gui2.setVisible(false);

-            centerPanel.setLeftComponent(treePanel);

-          }

-          else {

-            centerPanel.setLeftComponent(outputPanelUp);

-            gui2.setVisible(false);

-          } 

-          cp.add(centerPanel, BorderLayout.CENTER);

-          centerPanelDown.add(outputPanelDown, BorderLayout.CENTER);

-          pack();

-          repaint();               

-        }

-        if (action.equals("showTree") ) {

-          if (!((JCheckBoxMenuItem)e.getSource()).isSelected()){

-            if (debug) System.out.println("was selected");

-            cbMenuItem.setSelected(false);

-            if (((JRadioButtonMenuItem)viewMenu.getItem(2)).isSelected()) {      

-              centerPanel.remove(treePanel);

-              centerPanel.setLeftComponent(outputPanelUp); 

-            }

-            else {

-              centerPanel2.remove(treePanel);

-              centerPanel2.add(outputPanelUp, BorderLayout.CENTER); 

-            }

-          }

-          else { 

-            if (debug) System.out.println("was not selected");

-            cbMenuItem.setSelected(true);

-            if (((JRadioButtonMenuItem)viewMenu.getItem(2)).isSelected()) {      

-              centerPanel.remove(outputPanelUp);

-              treePanel.setRightComponent(outputPanelUp);

-              centerPanel.setLeftComponent(treePanel);

-            }

-            else {

-              centerPanel2.remove(outputPanelUp);

-              treePanel.setRightComponent(outputPanelUp);

-              centerPanel2.add(treePanel, BorderLayout.CENTER);

-            }                    

-          }

-          pack();

-          repaint();                               

-        }

-        if (action.equals("lang")) {

-          if (newObject) {

-            output.setText("");

-            formLin();

-          }

-          if (debug) 

-            System.out.println("language option has changed "+((JCheckBoxMenuItem)e.getSource()).getText());

-          if (((JCheckBoxMenuItem)e.getSource()).isSelected()){

-            System.out.println("turning on");

-            send("on "+((JCheckBoxMenuItem)e.getSource()).getText());

-          }

-          else{

-            System.out.println("turning off");

-            send("off "+((JCheckBoxMenuItem)e.getSource()).getText());

-          }

-        }

-        //modeMenus actions:

-        else {

-          if ((action.equals("long")) || (action.equals("short")))  

-            {

-                send("ms " + action);

-            }

-          else 

-            if ((action.equals("typed")) || (action.equals("untyped")))  

-              {

-                send("mt " + action);

-              }

-            else 

-              {

-                selectedMenuLanguage = action;

-                if (action.equals("Abstract"))

-                {

-                   send("ml Abs");

-                }

-                else 

-                {

-                  System.out.println("sending "+action);

-                  send("ml " + action);

-                }

-              }

-        }

-      }

-    }

-

-    /** Handle the key pressed event. */

-    public void keyPressed(KeyEvent e) {

-        int keyCode = e.getKeyCode();   

-        if  (keyCode == 10) { 

-            listAction(list.getSelectedIndex());

-        }

-    }

-    /** Handle the key typed event. */

-    public void keyTyped(KeyEvent e) {

-    }

-    /** Handle the key released event. */

-    public void keyReleased(KeyEvent e) {

-    }

-

-    public void listAction(int index) {

-      if (index == -1) 

-        {if (debug) System.out.println("no selection");}

-      else {

-        treeChanged = true; 

-        send((String)commands.elementAt(list.getSelectedIndex()));

-      }

-    }

-}