Resizing the font screws up the size of the "call site" unicode character
Opened this issue · 1 comments
jmellorcrummey commented
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