Apply debug console font size setting to input field

[janosh]

It's possible to adjust the debug console's font size via

"debug.console.fontSize": 12,

This currently does not affect the input field as is obvious when cranking up the size to 20. Since the input is part of the debug console, I think it should though.

[isidorn]

I agree with you. debug.console.fontSize should also be aplied to the debug console input.
There might be some hard coded sizes that might not make this trivial to implement.

We are open to an elegant PR that fixes this

vscode/src/vs/workbench/contrib/debug/browser/repl.ts

Line 254 in 6ec6f9e

const debugConsole = this.configurationService.getValue<IDebugConfiguration>('debug').console;

In the meantime assigning this to backlog as we might tackle this in the future.
Thanks

[isidorn]

To verify:

1. Start debugging and hit a brekapoint
2. Change debug.console.fontSize and make sure that the debug console input also respect the font size and that the input chevron looks good

[janosh]

Thanks for fixing this!

[isidorn]

@janosh you should thank @jeanp413 he fixed it nicely via a PR