Interface SerializedDocumentFilter

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

Index

Properties

$serialized language? notebookType? pattern? scheme?

Properties

$serialized

$serialized: true

`Optional`language

language?: string

`Optional`notebookType

notebookType?: string

`Optional`pattern

pattern?: GlobPattern

`Optional`scheme

scheme?: string