File size: 975 Bytes
6b62834 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 | //#region src-js/workspace/index.ts
/**
* Active workspaces.
* Keyed by workspace URI.
*/
const workspaces = /* @__PURE__ */ new Map();
/**
* Most recent workspace that was used.
*/
let currentWorkspace = null, currentWorkspaceUri = null;
/**
* Create a new workspace.
*/
function createWorkspace(workspaceUri) {
workspaces.set(workspaceUri, {
cwd: "",
allOptions: [],
rules: []
}), currentWorkspace = null, currentWorkspaceUri = null;
}
/**
* Destroy a workspace.
* Unloads all plugin data associated with this workspace.
*/
function destroyWorkspace(workspaceUri) {}
/**
* Set the current workspace.
* @param workspace - Workspace object
* @param workspaceUri - Workspace URI
*/
function setCurrentWorkspace(workspace, workspaceUri) {
currentWorkspace = workspace, currentWorkspaceUri = workspaceUri;
}
//#endregion
export { setCurrentWorkspace as a, destroyWorkspace as i, currentWorkspace as n, workspaces as o, currentWorkspaceUri as r, createWorkspace as t };
|