Interface SerializedDocumentFilter

interface SerializedDocumentFilter {
    $serialized: true;
    language?: string;
    notebookType?: string;
    pattern?: GlobPattern;
    scheme?: string;
}

Properties

$serialized: true
language?: string
notebookType?: string
pattern?: GlobPattern
scheme?: string