Method close

Java/Debugger/src/edu/umich/soar/debugger/MainFrame.java:469–473

()

    }

    public void close()
    {
        thisWindowClosing();
        this.getShell().dispose();
    }

    public String ShowInputDialog(String title, String prompt,
            String initialValue)