Function Widget_getWidgetSource

Widget_getWidgetSource(
    rs: RpcSessionAtPos,
    pos: Position,
    hash: string,
    options?: ClientRequestOptions,
): Promise<WidgetSource>
Gets the static code for a given widget.

We make the assumption that either the code doesn't exist, or it exists and does not change for the lifetime of the widget.
Parameters
- rs: RpcSessionAtPos
- pos: Position
- hash: string
- Optionaloptions: ClientRequestOptions
Returns Promise<WidgetSource>
- Defined in lean4-infoview-api/dist/rpcApi.d.ts:154