Skip to content

Terminal overview ruler width doesn't change when zooming #145227

@Tyriar

Description

@Tyriar

Repro:

  1. Open shell integration enabled terminal
  2. Run some commands
  3. Zoom in, the overview ruler should be the same width as the scroll bar

image

This also seems to apply on new terminals (is 10px hardcoded?), I also notice the overview ruler is 1 pixel too left at this particular zoom level (4):

image
image

Metadata

Metadata

Labels

bugIssue identified by VS Code Team member as probable bugterminal-shell-integrationShell integration infrastructure, command decorations, etc.verifiedVerification succeeded

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions