[scott967]

Seems like this would be pretty basic to get settings.lookandfeel.font setting, to allow for different positioning/layout based on the font but I couldn't find any way to get at this other than doing a JSON RPC call from a script file to check if the font settings was changed and to set a window property. That works, but there isn't an easy way to update that if user changes the setting in the UI (what I did was set the script to run on unloading interfacesettings window).

scott s.
.

[BigNoid]

I've made a PR to add this here

[scott967]

I've made a PR to add this here

Thanks for that.

scott s.
.

[scott967]

PR#12076 tested in win32 0517 nightly. Works as intended. Thanks again.

scott s.
.