use dom renderer for safari #466

Closed

Closed

use dom renderer for safari#466

Labels

Milestone

Need this setting when in safari: "terminal.integrated.rendererType": "dom"

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

April 2019

Relationships

None yet

Development

No branches or pull requests