Class HoverService

Hierarchy

HoverService

Index

Constructors

constructor

new HoverService(): HoverService

Returns HoverService

Properties

Protected _hoverHost

_hoverHost: undefined | HTMLElement

Protected _markdownRenderer

_markdownRenderer: undefined | MarkdownRenderer

Protected Readonly disposeOnHide

disposeOnHide: DisposableCollection = ...

Protected hoverTarget

hoverTarget: undefined | HTMLElement

Protected lastHidHover

lastHidHover: number = ...

Protected Readonly markdownRendererFactory

markdownRendererFactory: MarkdownRendererFactory

Protected pendingTimeout

pendingTimeout: undefined | Disposable

Protected Readonly preferences

preferences: PreferenceService

Static Protected hostClassName

hostClassName: string = 'theia-hover'

Static Protected styleSheetId

styleSheetId: string = 'theia-hover-style'

Accessors

Protected hoverHost

get hoverHost(): HTMLElement

- Defined in packages/core/src/browser/hover-service.ts:81
Returns HTMLElement

Protected markdownRenderer

get markdownRenderer(): MarkdownRenderer

- Defined in packages/core/src/browser/hover-service.ts:75
Returns MarkdownRenderer

Methods

cancelHover

cancelHover(): void

- Defined in packages/core/src/browser/hover-service.ts:189
Returns void

Protected getHoverDelay

getHoverDelay(): number

- Defined in packages/core/src/browser/hover-service.ts:101
Returns number

Protected listenForMouseOut

listenForMouseOut(): void

- Defined in packages/core/src/browser/hover-service.ts:179
Returns void

Protected renderHover

renderHover(request: HoverRequest): Promise<void>

- Defined in packages/core/src/browser/hover-service.ts:107
Parameters
- request: HoverRequest
Returns Promise<void>

requestHover

requestHover(request: HoverRequest): void

- Defined in packages/core/src/browser/hover-service.ts:94
Parameters
- request: HoverRequest
Returns void

Protected setHostPosition

setHostPosition(target: HTMLElement, host: HTMLElement, position: HoverPosition): HoverPosition

- Defined in packages/core/src/browser/hover-service.ts:144
Parameters
- target: HTMLElement
- host: HTMLElement
- position: HoverPosition
Returns HoverPosition

Protected unRenderHover

unRenderHover(): void

- Defined in packages/core/src/browser/hover-service.ts:196
Returns void