Function Widget_getWidgets

Widget_getWidgets(
    rs: RpcSessionAtPos,
    pos: Position,
    options?: ClientRequestOptions,
): Promise<UserWidgets>
Given a position, returns all of the user-widgets on the infotree at this position.
Parameters
- rs: RpcSessionAtPos
- pos: Position
- Optionaloptions: ClientRequestOptions
Returns Promise<UserWidgets>
- Defined in lean4-infoview-api/dist/rpcApi.d.ts:142