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.
.