Function renderInfoview

renderInfoview(editorApi: EditorApi, uiElement: HTMLElement): InfoviewApi
Render the Lean infoview into the DOM element uiElement.
Parameters
- editorApi: EditorApi
  is a collection of methods which the infoview needs to be able to invoke on the editor in order to function correctly (such as inserting text or moving the cursor).
- uiElement: HTMLElement
Returns InfoviewApi
a collection of methods which must be invoked when the relevant editor events occur.
- Defined in lean4-infoview/src/infoview/main.tsx:122