Command prompt text height (Appearance) not changing

Serengeti (Rhino WIP)
, ,
1

I am trying to bump up my command prompt text height from 9 to 10 (4K monitor), I can change the number in Options>Appearance, but nothing happens - and if I close/reopen Options it’s back to 9. Known bug?

I didn’t see anything immediately in YouTrack, but there are a lot of items in there related to the command prompt, so maybe I missed it.

2

Thanks, Mitch!

Apparently not, no. On the list now as RH-67430.

Until this is fixed, you can change this in the Advanced section → CommandPromptFontHeight.
-wim

1 Like