racket / drracket

DrRacket, IDE for Racket
http://www.racket-lang.org/
Other
445 stars 93 forks source link

No language chosen wrong caret font size #567

Open sorawee opened 1 year ago

sorawee commented 1 year ago

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.