Suggestion: Rename panel: larger fonts to make regex better visible

To make the contents of the old/new boxes better visible, specifically when using regular expression,
I'd like to suggest to:

  • increase the height of the boxes
  • allow to use ctrl-scrollwheel to resize the font

Something like the below.


As the title says: just a suggestion.