request: Ability to change the font size on the ui

[jerobarraco]

I'd really would like to be able to change the font size. i find it hard to read.

[guillaumechereau]

Would be nice yes. Can you show a screenshot of what you see though? I think on some screens or platforms there might also be some issue with the scaling.

[jerobarraco]

yups i could. though keep in mind that there is subjectiveness to the matter (that is, some ppl have better eyesight, and distance to monitor counts).

here you have a view of my settings, but also a comparison with the minimum size i work with.

[guillaumechereau]

I just pushed a change to add a UI scale setting. Not tested much so far.

[jerobarraco]

Awesome Thanks. ill give it a try when i can.

[jerobarraco]

The scaling works pretty. well.
but i noticed there's a gpu ram leak. not sure if it's related to this change. ill open a bug.