Function highlightMatches

highlightMatches(
    rs: RpcSessionAtPos,
    query: string,
    msg: TaggedText<MsgEmbed>,
    options?: ClientRequestOptions,
): Promise<TaggedText<HighlightedMsgEmbed>>
Parameters
- rs: RpcSessionAtPos
- query: string
- msg: TaggedText<MsgEmbed>
- Optionaloptions: ClientRequestOptions
Returns Promise<TaggedText<HighlightedMsgEmbed>>
- Defined in lean4-infoview-api/dist/rpcApi.d.ts:176