void addWorkspace() {
		// query the user for the name of the workspace
		InputDialog nameDialog = new InputDialog("Create New Workspace", "Workspace Name",
			ToolManager.DEFAULT_WORKSPACE_NAME);
		plugin.getTool().showDialog(nameDialog);
		if (nameDialog.isCanceled()) {
			return; // user canceled
		}

		String workspaceName = nameDialog.getValue();
		try {
			ToolManager tm = activeProject.getToolManager();
			tm.createWorkspace(workspaceName);
		}
		catch (DuplicateNameException e) {
			String msg = "Workspace named: " + workspaceName + " already exists.";
			Msg.showError(getClass(), plugin.getTool().getToolFrame(), "Workspace Name Exists",
				msg);
		}
	}
adds a new empty workspace to the project with the name of the
workspace set by the user; called from the Workspace menu.
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/WorkspacePanel.java