Interface SerializedDocumentFilter

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

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

Settings

Member Visibility

Theme

On This Page

$serializedlanguagenotebookTypepatternscheme