In the command pane, we can Ctrl+mouse wheel to change the text size.
This is Windows standard for every RichText control.
In the command pane it works only for the past, not for the prompt.
Please make it equal in V8.
This is the same since V5 on (can’t test V4).