@leanprover/infoview
    Preparing search index...

    Interface WidgetSource

    Code that should be dynamically loaded by the UserWidget component.

    interface WidgetSource {
        sourcetext: string;
    }
    Index
    sourcetext: string

    JavaScript sourcecode. Should be a plain JavaScript ESModule whose default export is the component to render.