Constructors

Properties

_hoverHost: undefined | HTMLElement
_markdownRenderer: undefined | MarkdownRenderer
disposeOnHide: DisposableCollection = ...
hoverTarget: undefined | HTMLElement
lastHidHover: number = ...
markdownRendererFactory: MarkdownRendererFactory
pendingTimeout: undefined | Disposable
preferences: PreferenceService
hostClassName: string = 'theia-hover'
styleSheetId: string = 'theia-hover-style'

Accessors

Methods

  • Listen for any mouse click (mousedown) event and cancel the hover if detected. This ensures the hover is dismissed when the user clicks anywhere (including on the target or elsewhere).

    Returns void