final public void addExlorer(String name) {
        if (name == null) {
            this.printError("Name of explorer may not be assigned as null");
            return;
        }
        for (Explorer explorer : explorers) {
            if (explorer.getName().equals(name)) {
                this.printError("May not add duplicate explorers named: " + name);
                return;
            }
        }
        Explorer explorer;
        if (explorerModel == Type.GLASS) {
            explorer = new GlassExplorer(workspace);
        } else if (explorerModel == Type.MAGIC) {
            explorer = new MagicExplorer();
        } else if (explorerModel == Type.POPUP) {
            explorer = new PopupExplorer();
        } else if (explorerModel == Type.WINDOW) {
            explorer = new WindowExplorer();
        } else if (explorerModel == Type.TABBED) {
            explorer = new TabbedExplorer();
        } else {
            explorer = new StackExplorer();
        }
        explorer.setName(name);
        explorers.add(explorer);
        view.add(explorer.getJComponent());
        this.reformView();

    }