I see, so the font choose dialog is too dumb to present all the available font sizes when choosing "Terminal" manually. ![:(]( "Sad")
Statistics: Posted by ghisler(Author) — 2024-11-13, 10:25 UTC