Interface PythonEditorWorkspaceRequest

interface PythonEditorWorkspaceRequest {
    action: "workspacesync" | "workspacesave" | "workspaceloaded";
    project: PythonProject;
    type: "pyeditor";
}