EditorHoverOptions
EditorHoverOptions =
HoverOptions&object
Defined in: extensions/hover.ts:91
Type Declaration
Section titled “Type Declaration”filter()?
Section titled “filter()?”
optionalfilter: (line,lineNumber,e) =>boolean
If a line won’t have any tokens the callback is interested in, then this filter can return false to skip computing the target token at the cursor’s position for a performance boost. If ommitted, the callback will be invoked for all lines.
Parameters
Section titled “Parameters”HTMLDivElement
lineNumber
Section titled “lineNumber”number
PointerEvent
Returns
Section titled “Returns”boolean