Method createTab

src/main/java/mudmap2/frontend/Mainwindow.java:235–263

create world tab @param world

(final World world)

     * @param world
     */
    public void createTab(final World world) {
        setMinimumSize(new Dimension(500, 400));

        if (tabbedPane == null) {
            remove(infoPanel);
            tabbedPane = new JTabbedPane();
            add(tabbedPane);
            tabbedPane.addChangeListener(this);
        }

        if (!worldTabs.containsKey(world)) {
            // open new tab
            final WorldTab tab = new WorldTab(this, world, false);
            worldTabs.put(world, tab);
            tabbedPane.addTab(tab.getWorld().getName(), tab);
        }
        // change current tab
        tabbedPane.setSelectedComponent(worldTabs.get(world));

        final WorldTab curTab = getSelectedTab();
        if (curTab != null) {
            // update menu entry
            menuWorldShowCursor.setState(curTab.getWorldPanel().isCursorEnabled());
        }

        if (world.getWorldFile() != null) {
            WorldFileList.push(new WorldFileList.WorldFileEntry(world.getName(), new File(world.getWorldFile().getFilename())));
        }
    }

    /**
     * Closes all tabs