@leanprover/infoview
    Preparing search index...

    Interface UserWidgetInstance

    Represents an instance of a user widget that can be rendered. This is used as the input to the UserWidget component.

    interface UserWidgetInstance {
        id: string;
        javascriptHash: string;
        name?: string;
        props: any;
        range?: Range;
    }

    Hierarchy (View Summary)

    Index
    id javascriptHash name? props range?
    id: string
    javascriptHash: string

    A hash (provided by Lean) of the widgetSource's sourcetext. This is used to look up the WidgetSource object.

    name?: string

    In previous versions, this used to be a user-readable name to show in a title bar.

    newer widget APIs do not send this.

    props: any

    JSON object to be passed as props to the component

    range?: Range

    Settings
    Member Visibility

    On This Page
    Properties