Skip to content

Doc text for terminal config inconsistent ("DOM renderer") #176013

@shoffmeister

Description

@shoffmeister

Does this issue occur when all extensions are disabled?: Yes

Version: 1.76.0
Commit: 92da948
Date: 2023-03-01T10:25:16.105Z
Electron: 19.1.11
Chromium: 102.0.5005.196
Node.js: 16.14.2
V8: 10.2.154.26-electron.0
OS: Linux x64 6.1.14-200.fc37.x86_64
Sandboxed: No

Steps to Reproduce:

  1. Ctrl+Shift+P -> "terminal render"
  2. Note settings shown (see screen shot below), in particular text "Note that this doesn't work with the DOM renderer"

//exp: documentation refers only refers to renderer settings which can be discovered in UI
//act: there does not seem to be a "DOM renderer" discoverable in the UI (any more)

--> The doc text "DOM renderer" needs to be updated somehow, to make sense for the current state of the configuration world.

image

FWIW, on my system (fully virtualized VMware Workstation virtual machine) I have to turn off "Gpu Acceleration" to get reasonable terminal render performance without massive lag on every single keypress.

Metadata

Metadata

Assignees

Labels

bugIssue identified by VS Code Team member as probable buginsiders-releasedPatch has been released in VS Code InsidersterminalGeneral terminal issues that don't fall under another labelverifiedVerification succeeded

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions