Class GutterTooltip

Hierarchy (View Summary)

Tooltip
- GutterTooltip

Index

Constructors

Properties

editor isOpen visibleTooltipRow

Accessors

annotationLabels

Methods

destroy getElement getHeight getWidth hide hideTooltip onMouseOut setClassName setHtml setPosition setText setTheme show showTooltip annotationsToSummaryString

Constructors

constructor

new GutterTooltip(editor: any, isHover?: boolean): GutterTooltip
Parameters
- editor: any
- OptionalisHover: boolean
Returns GutterTooltip
Overrides Tooltip.constructor
- Defined in src/mouse/default_gutter_handler.js:143

Properties

editor

editor: any

isOpen

isOpen: boolean

visibleTooltipRow

visibleTooltipRow: number

Accessors

`Static`annotationLabels

get annotationLabels(): {
    error: { plural: any; singular: any };
    hint: { plural: any; singular: any };
    info: { plural: any; singular: any };
    security: { plural: any; singular: any };
    warning: { plural: any; singular: any };
}
Returns {
    error: { plural: any; singular: any };
    hint: { plural: any; singular: any };
    info: { plural: any; singular: any };
    security: { plural: any; singular: any };
    warning: { plural: any; singular: any };
}
- Defined in src/mouse/default_gutter_handler.js:183

Methods

destroy

destroy(): void
Returns void
Inherited from Tooltip.destroy
- Defined in src/autocomplete.js:761

getElement

getElement(): HTMLElement
Returns HTMLElement
Inherited from Tooltip.getElement
- Defined in src/tooltip.js:36

getHeight

getHeight(): number
Returns number
Inherited from Tooltip.getHeight
- Defined in src/scrollbar.js:189

getWidth

getWidth(): number
Returns number
Inherited from Tooltip.getWidth
- Defined in src/scrollbar.js:98

hide

hide(e: any): void
Parameters
- e: any
Returns void
Inherited from Tooltip.hide
- Defined in src/tooltip.js:94

hideTooltip

hideTooltip(): void
Returns void
- Defined in src/mouse/default_gutter_handler.js:303

onMouseOut

onMouseOut(e: any): void
Parameters
- e: any
Returns void
- Defined in src/tooltip.js:405

setClassName

setClassName(className: string): void
Parameters
- className: string
Returns void
Inherited from Tooltip.setClassName
- Defined in src/tooltip.js:66

setHtml

setHtml(html: string): void
Parameters
- html: string
Returns void
Inherited from Tooltip.setHtml
- Defined in src/tooltip.js:50

setPosition

setPosition(x: any, y: any): void
Parameters
- x: any
- y: any
Returns void
Overrides Tooltip.setPosition
- Defined in src/anchor.js:68

setText

setText(text: string): void
Parameters
- text: string
Returns void
Inherited from Tooltip.setText
- Defined in src/tooltip.js:43

setTheme

setTheme(theme: Theme): void
Parameters
- theme: Theme
Returns void
Inherited from Tooltip.setTheme
- Defined in src/editor.js:431

show

show(text?: string, x?: number, y?: number): void
Parameters
- Optionaltext: string
- Optionalx: number
- Optionaly: number
Returns void
Inherited from Tooltip.show
- Defined in src/tooltip.js:83

showTooltip

showTooltip(row: any): void
Parameters
- row: any
Returns void
- Defined in src/mouse/default_gutter_handler.js:208

`Static`annotationsToSummaryString

annotationsToSummaryString(annotations: any): string
Parameters
- annotations: any
Returns string
- Defined in src/mouse/default_gutter_handler.js:313