Textbox size in command history

[Gijs (Gijs de Zwart)]

hi @Charles is this still the case? I don’t see that here, but it might be a difference of OS (I’m on Win11 here)