Untitled

    public void drawGUI() {        /* preparing for inputPanel */        inputPanel = new JPanel();        inputPanel.setLayout(new BoxLayout(inputPanel, BoxLayout.LINE_AXIS));        inputFormulaField = new JTextField("(A & (A=>B) & (B=>C)) => C)", 30);        inputPanel.add(inputFormulaField);        frameProperties = new JButton("Frame properties");        inputPanel.add(frameProperties);        formulaButton = new JButton("Prove");        inputPanel.add(formulaButton);        formulaSyntaxHelpButton = new JButton("?");        inputPanel.add(formulaSyntaxHelpButton);        inputPanel.setBorder(BorderFactory.createEmptyBorder(5,5,5,5));        /* preparing for output panel */        outputPanel = new JPanel();        outputPanel.setLayout(new BoxLayout(outputPanel, BoxLayout.LINE_AXIS));        activityLogPane = new JTextArea(10, 5);        outputPanel.add(activityLogPane);        resolutionTreePane = new JTextArea(10, 8);        outputPanel.add(resolutionTreePane);        outputPanel.setBorder(BorderFactory.createEmptyBorder(5,5,5,5));        /* preparing for postprocessing panel */        postprocPanel = new JPanel();        mainPanel = new JPanel();        mainFrame = new JFrame("Molle, MOdal Logic Lazy Evaluator");        mainFrame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);        //mainPanel.setLayout(new BoxLayout(mainPanel, BoxLayout.PAGE_AXIS));        mainPanel.add(inputPanel, BorderLayout.PAGE_START);        mainPanel.add(outputPanel, BorderLayout.CENTER);        mainPanel.add(postprocPanel, BorderLayout.PAGE_END);        mainFrame.getContentPane().add(mainPanel);        mainFrame.pack();        mainFrame.setVisible(true);    }