export const WORKSPACE_EXTENSION = 'code-workspace';
export const WORKSPACE_FILTER = [
    {
        name: 'Code Workspace',
        extensions: [WORKSPACE_EXTENSION],
    },
];
export const UNTITLED_WORKSPACE_NAME = 'workspace.json';