This repository was archived by the owner on Nov 25, 2021. It is now read-only.
File tree Expand file tree Collapse file tree 1 file changed +13
-8
lines changed
Expand file tree Collapse file tree 1 file changed +13
-8
lines changed Original file line number Diff line number Diff line change @@ -472,16 +472,21 @@ export const createHoverifier = ({
472472 * For every position, emits an Observable with new values for the `hoverOrError` state.
473473 * This is a higher-order Observable (Observable that emits Observables).
474474 */
475- const hoverObservables = resolvedPositions . pipe (
475+ const hoverObservables : Observable <
476+ Observable < {
477+ eventType : SupportedMouseEvent | 'jump'
478+ dom : DOMFunctions
479+ target : HTMLElement
480+ adjustPosition ?: PositionAdjuster
481+ codeView : HTMLElement
482+ hoverOrError ?: typeof LOADING | HoverMerged | Error | null
483+ position ?: HoveredToken & HoveredTokenContext
484+ part ?: DiffPart
485+ } >
486+ > = resolvedPositions . pipe (
476487 map ( ( { position, ...rest } ) => {
477488 if ( ! position ) {
478- return of ( {
479- // Typescript seems to give up on type inference if we don't explicitely declare the types here.
480- hoverOrError : null as 'loading' | HoverMerged | Error | null | undefined ,
481- position : undefined as ( HoveredToken & HoveredTokenContext ) | undefined ,
482- part : undefined ,
483- ...rest ,
484- } )
489+ return of ( { hoverOrError : null , position : undefined , part : undefined , ...rest } )
485490 }
486491 // Fetch the hover for that position
487492 const hoverFetch = fetchHover ( position ) . pipe (
You can’t perform that action at this time.
0 commit comments