Integrated Terminal does not accept non-integer values for font size

[sabriele]

Probably similar to issue raised in #35991 as well as the other issues referenced in that issue.
Raising issue because the majority of other users affected seem to be running on Windows. Also, am on version 1.19.1 and it still doesn't seem to be fixed for me (I believe the others have had it fixed by 1.17.2).

• VSCode Version: 1.19.1
• OS Version: macOS High Sierra 10.13.2 (17C88)
• Reproduces without extensions: Yes

Integrated Terminal font size does not change when decimals are added to it (13 px and 13.2 px looks the same). This is unlike the corresponding Editor font size which shows a clear difference between two font sizes that are separated by even one decimal point e.g. 13.2 px and 13.3 px.

Steps to Reproduce:

1. In User Settings, set

"editor.fontFamily": "Menlo, Monaco, 'Courier New', monospace",
"terminal.integrated.fontFamily": "", // defaults to editor.fontFamily's value.
"window.zoomLevel": -1,
"editor.fontSize": 13.2,
"terminal.integrated.fontSize": 13.2

2. Screenshot below shows that the Integrated Terminal's font looks a bit horizontally squished. (The text "terminal.integrated.fontSize": 12, has been placed both in the Editor and Integrated Terminal for easy comparison.)

[Tyriar]

Unfortunately canvas does not appear to support drawing of floating point sized fonts. Proof:

[sabriele]

@Tyriar Sorry I hadn't realised that and thank you.

[Tyriar]

We both learned something 😄