Terminal overview ruler width doesn't change when zooming #145227
Description
Repro:
- Open shell integration enabled terminal
- Run some commands
- Zoom in, the overview ruler should be the same width as the scroll bar
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):
