Options
All
  • Public
  • Public/Protected
  • All
Menu

Class StatusBarHoverManager

Hierarchy

  • StatusBarHoverManager

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-status-bar-hover'
styleSheetId: string = 'theia-status-bar-hover-style'

Accessors

  • get hoverHost(): HTMLElement

Methods

  • cancelHover(): void
  • getHoverDelay(): number
  • listenForMouseOut(): void
  • renderHover(hover: string | HTMLElement | MarkdownString, target: HTMLElement): Promise<void>
  • requestHover(hover: string | HTMLElement | MarkdownString, target: HTMLElement): void
  • unRenderHover(): void