Theia API Documentation v1.65.0
    Preparing search index...
    Index

    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 mouse click (mousedown) events and handle them based on hover interactivity. For non-interactive hovers, any mousedown cancels the hover immediately. For interactive hovers, the hover remains visible to allow interaction with its elements.

      Parameters

      Returns void