The UI fonts in ADS (“Servers” tab, etc.) do not scale well for high DPI displays on Win10. I can disable scaling, so it’s all very small, but sharp, or I can allow windows to scale, but the UI elements are fuzzy.
Is there any workaround or future update?