Integrated Terminal Font Size doesn't match editor's Font Size.

[pradeepambati]

• VSCode Version: 1.24.1
• OS Version: macOS 10.13.5

Steps to Reproduce:

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

[vscodebot]

(Experimental duplicate detection)
Thanks for submitting this issue. Please also check if it is already covered by an existing one, like:

• Allow to change the font size and font of the workbench (#519)
• Settings editor: Right editor does not update font size on-the-fly (#53298)
• Font size for the side panel cannot be changed (#10660)
• The Explorer font is too small to set size (#29702)
• Feature request: Different font sizes for explorer and editor section. (#50504)

[Tyriar]

You can make them align approximately by using editor.fontSize and terminal.integrated.fontSize. It looks like you're scaling the editor portion only though, If you scale the whole workbench the terminal will scale as well (window.zoomLevel);