Skip to content

Remove terminal tooltip not disappearing work around #69975

Closed
Closed
Remove terminal tooltip not disappearing work around#69975
Assignees
Tyriar
Labels
debtCode quality issuesterminalGeneral terminal issues that don't fall under another label
Milestone
March 2019
@Tyriar

Description

@Tyriar
Tyriar
opened on Mar 7, 2019

xtermjs/xterm.js#1908 (comment)

This has been fixed upstream: xtermjs/xterm.js#1959

Metadata

Metadata

Assignees

Labels

debtCode quality issuesterminalGeneral terminal issues that don't fall under another label

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions