Feature Request: Master Scale parameter

[WangleLine]

I'd like to scale the entire console depending on my game's current GUI scale setting.

Currently, I have to do something like this:

width = 140*GUI_SCALE;
height = 40*GUI_SCALE;
anchorMargin = 4*GUI_SCALE;
consolePaddingH = 4*GUI_SCALE;
consolePaddingV = 4*GUI_SCALE;

cornerRadius = 10*GUI_SCALE
scrollbarWidth = 5*GUI_SCALE;
autocompletePadding = 2*GUI_SCALE;

etc.

It would be nice, if we had a single parameter that scaled all other scale values