Testing #158827

Version: 1.71.0-insider
Commit: bd61073
Date: 2022-08-23T05:19:02.563Z
Electron: 19.0.12
Chromium: 102.0.5005.167
Node.js: 16.14.2
V8: 10.2.154.15-electron.0
OS: Darwin x64 21.6.0
Sandboxed: Yes

• set setting terminal.integrated.gpuAcceleration: on
• in the terminal type (not sure the text really matters)

echo -e "\x1b[4:3m"  # curly underline
echo -e "\x1b[4:4m"  # dotted underline
echo -e "\x1b[4:5m"  # dashed underline

• open the settings (I used the settings JSON) and change the font size, save the settings after the changes
• note that the terminal propertly updates to the new font size, but the bigger the font is chosen (e.g. 30), the slower the update gets, until things get stuck and only parts of the terminal get updated