Method windowClosing

src/main/java/mudmap2/frontend/Mainwindow.java:135–138

(final WindowEvent arg0)

        setDefaultCloseOperation(WindowConstants.EXIT_ON_CLOSE);
        addWindowListener(new WindowAdapter() {
            @Override
            public void windowClosing(final WindowEvent arg0) {
                quit();
            }
        });

        initGui();