@leanprover/infoview
    Preparing search index...

    Interface UserWidget

    interface UserWidget {
        id: string;
        javascriptHash: string;
        name?: string;
    }

    Hierarchy (View Summary)

    Index
    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.