Usando el panel de control Control Panel\All Control Panel Items\Display(parcialmente mostrado en la captura de pantalla a continuación), primero cambié el DPI de la configuración "100% más pequeño" a la configuración "125% medio", y después de unos días volví a la configuración "100% más pequeño"...