Method removeTab

src/main/java/mudmap2/frontend/Mainwindow.java:283–287

Removes a tab without saving and closing the world in WorldManager @param tab

(final WorldTab tab)

     * @param tab
     */
    public void removeTab(final WorldTab tab) {
        if (tabbedPane != null) {
            tabbedPane.remove(tab);
        }
    }

    /**
     * Gets the currently shown WorldTab