drracket icon indicating copy to clipboard operation
drracket copied to clipboard

No language chosen wrong caret font size

Open sorawee opened this issue 3 years ago • 0 comments

When there is no language chosen (e.g. from first time opening DrRacket) but the editor is zoomed in, the caret is not similarly re-scaled. In the following screenshot, the line number shows the correct font size, but the vertical bar (caret) doesn't have the correct size.

Screen Shot 2022-07-11 at 7 46 11 AM

Once a character is input, it does get rescaled correctly however.

sorawee avatar Jul 11 '22 14:07 sorawee