(config: { hoverTime?: number } = {})
| 808 | ]; |
| 809 | |
| 810 | export function hoverTooltips(config: { hoverTime?: number } = {}): Extension { |
| 811 | return [ |
| 812 | hoverTooltip(lspTooltipSource, { |
| 813 | hideOnChange: true, |
| 814 | hoverTime: config.hoverTime, |
| 815 | }), |
| 816 | closeHoverOnInteraction, |
| 817 | ]; |
| 818 | } |
| 819 | |
| 820 | export function signatureHelp(config: { keymap?: boolean } = {}): Extension { |
| 821 | return [ |
no outgoing calls
no test coverage detected