Implement optional hover tooltip with function documentation

This commit is contained in:
Alexandre G.-Raymond 2023-11-05 13:00:54 +01:00
parent 0ecc6c196f
commit 353333653f
No known key found for this signature in database
GPG key ID: 97BA9F51695B5C7B
7 changed files with 90 additions and 2 deletions

View file

@ -126,6 +126,7 @@ export function Repl({ embedded = false }) {
fontFamily,
isLineNumbersDisplayed,
isAutoCompletionEnabled,
isTooltipEnabled,
isLineWrappingEnabled,
panelPosition,
isZen,
@ -335,6 +336,7 @@ export function Repl({ embedded = false }) {
keybindings={keybindings}
isLineNumbersDisplayed={isLineNumbersDisplayed}
isAutoCompletionEnabled={isAutoCompletionEnabled}
isTooltipEnabled={isTooltipEnabled}
isLineWrappingEnabled={isLineWrappingEnabled}
fontSize={fontSize}
fontFamily={fontFamily}