Command pane: Ctrl+mouse wheel doesn't work as expected

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.
image

Please make it equal in V8.

Rem.:
This is the same since V5 on (can’t test V4).