Would you consider adding `Window.set_user_scale_factor()`?

[abique]

Hi,

I'd like to be able to set a custom scaling factor. The effective scaling factor would be: os_factor * user_factor. This would be practical to let the user scale the application on top of the OS setting.

Cheers, Alex