Resizing the font screws up the size of the "call site" unicode character
Describe the bug The size of the unicode character is inconsistent with the surrounding text
To Reproduce Decrease the font size several times. The unicode character will shrink faster than the rest and then at some point grow very large.
Expected behavior The unicode character should always have a height proportional to the text
Screenshots
Shrinking 5 steps:
Shrinking 3 more:
Shrinking one more:
Platform (please complete the following information):
- OS: MacOS
- Architecture x86
- Version 2022.06
Edited by Marty Itzkowitz