Option too choose font size based on DPI scaling/Monitor

[SivanagBalla]

Description of the new feature

I have two displays - one is laptop 2800x1800 resolution @ 200% scaled, another is monitor 1920x1080 resolution @ 100%scaling. I often move the terminal between these two. Terminal maintains almost same character height and size but I have two problems

Problem #1 - even though character sizes are almost same, the spacing is differnet - look below image. As as result its slightly odd

Problem #2 - This is more personal preference kind of thing. My monitor is slightly far then the laptop monitor. so i would prefer slightly bigger font (the next size) - that makes it easier to read

So,far. I use ctrl+ ctrl- everytime I move the terminal which is becoming a bit of annoyance. Can you please include option to explicitly set font size based on DPI/Monitor. I don't mind if count of rows/columns are not same

Proposed technical implementation details

No response

[carlos-zamora]

Thanks for filing! We've discussed this as a team and we probably won't implement per-monitor/-dpi font specification.

However, we do have a recommendation. You can make this modification to your settings.json file and it should help with the whitespace issue. You'll have to reduce the 20px to something reasonable and you should use fractional values though.

{
    "profiles":
    {
        "defaults":
        {
            "antialiasingMode": "cleartype",
            "font":
            {
                "cellWidth": "20px"
            }
        }
    }
}