rust-playground icon indicating copy to clipboard operation
rust-playground copied to clipboard

Monaco font is too small

Open U007D opened this issue 3 years ago • 2 comments

Older eyes, here, but the typeface used in Monaco renders smaller than ace (even if it is advertised as the same point size).

Embiggening the whole page makes the playground controls UI cartoonishly large. Requesting a size bump for Monaco's font or even a control in all configurations to make it settable.

U007D avatar Jan 15 '22 19:01 U007D

/cc @HKalbasi let's make Monaco and Ace match.

shepmaster avatar Jan 15 '22 19:01 shepmaster

On my system (both brave and firefox), Monaco's font is slightly larger than Ace (20 lines of monaco on screen vs 21 lines of ace) so @U007D can you try it on another browser/computer to see if it is the same? Maybe a plugin/browser extension is changing the font?

HKalbasi avatar Jan 16 '22 02:01 HKalbasi